2482 search results - page 210 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
132
click to vote
JSC
2010
14 years 9 months ago
2010
Both Sequence and Context Unification generalize the same problem: Word Unification. Besides that, Sequence Unification solves equations between unranked terms involving sequence ...
96
Voted
EJC
2003
15 years 3 months ago
2003
We present a logic programming based dialogue system that enables the access in natural language to the heterogeneous external relational databases of the Évora University. The p...
122
Voted
ENTCS
2008
15 years 2 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
125
click to vote
PUC
1998
15 years 2 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...
144
click to vote
CASES
2005
ACM
15 years 4 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...