4480 search results - page 131 / 896 » Prototyping Completion with Constraints Using Computational ... |
163
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Shoogle is a novel, intuitive interface for sensing data within a mobile device, such as presence and properties of text messages or remaining resources. It is based around active...
170
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
184
click to vote
COLING
1990
15 years 7 months ago
1990
One of the issues of Artificial Intelligence is the transfer of the knowledge conveyed by Natural Language into formalisms that a computer can interpret. In the Natural Language P...
233
click to vote
FAABS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
232
click to vote
FGIT
2010
Springer
15 years 4 months ago
2010
Springer
Routing has been the main challenge for ad hoc networks due to dynamic topology as well as resource constraints. Completely GPS free as well as GPS scarce positioning systems for ...