4298 search results - page 584 / 860 » Computing at the top of the world |
201
click to vote
SMILE
1998
Springer
15 years 11 months ago
1998
Springer
As virtual worlds demand ever more realistic 3D models, attention is being focussed on systems that can acquire graphical models from real objects. This paper describes a system wh...
186
click to vote
AGP
1994
IEEE
15 years 11 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
203
click to vote
TARK
1992
Springer
15 years 10 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
169
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
Sound Candy is a device with which anyone in the world can create his/her own playground anywhere of using sounds and movements around him/her. In our daily life, we are surrounde...
173
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Portable devices have more data storage and increasing communication capabilities everyday. In addition to classic infrastructure based communication, these devices can exploit hu...