2296 search results - page 386 / 460 » The Expressive Power of Synchronizations |
171
click to vote
VCIP
2000
15 years 5 months ago
2000
MIME (Mime Is Manual Expression) is a computationally efficient computer vision system for recognizing hand gestures. The system is intended to replace the mouse interface on a st...
128
click to vote
AAAI
1993
15 years 5 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
133
click to vote
AAAI
1994
15 years 5 months ago
1994
One of the original motivations for research in qualitative physics was the development of intelligent tutoring systems and learning environments for physical domains and complex ...
140
click to vote
FOGA
1994
15 years 5 months ago
1994
Holland's Schema Theorem is widely taken to be the foundation for explanations of the power of genetic algorithms (GAs). Yet some dissent has been expressed as to its implica...
137
click to vote
SLP
1994
15 years 5 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...