10666 search results - page 1623 / 2134 » Quantum programming languages |
200
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...
195
click to vote
MSCS
2000
15 years 6 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
177
click to vote
AROBOTS
1998
15 years 6 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
158
click to vote
JLP
1998
15 years 6 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
179
click to vote
PUC
1998
15 years 6 months ago
1998
Palmtop PCs with infrared transceivers provide a userfriendly, intelligent, and extensible alternative to the remote controls traditionally used to control home appliances. We des...