7529 search results - page 267 / 1506 » The Modula-3 Type System |
145
click to vote
MICAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a novel approach to question answering: the use of argumentation techniques. Our question answering system deals with argumentation in student essays: it sees a...
150
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
151
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
HARNESS is an experimental metacomputing system that supports dynamic software reconfiguration, both of the resources that comprise the virtual machine and the services provided t...
162
click to vote
SAS
1991
Springer
15 years 10 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
188
click to vote
HAPTICS
2010
IEEE
15 years 6 months ago
2010
IEEE
Limitations of state-of-the-art teleoperation systems can be compensated by using shared-control teleoperation architectures that provide haptic assistance to the human operator. T...