2697 search results - page 490 / 540 » Developing Gestural Input |
CADE
2007
Springer
14 years 4 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
EUC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In ubiquitous computing, as more and more devices are embedded into the environment, there is a risk that the user loses the understanding of the system. In normal use th...
KI
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a mobile service robot that assists users in biological and pharmaceutical laboratories by carrying out routine jobs such as filling and transportation of micr...
VMCAI
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...