3387 search results - page 484 / 678 » Model-Checking for Real-Time Systems |
129
click to vote
VISUALIZATION
1997
IEEE
15 years 9 months ago
1997
IEEE
We present an image synthesis methodology and a system built around it. Given a sparse set of photographs taken from unknown viewpoints, the system generates images from new, diff...
169
click to vote
CSCW
1992
ACM
15 years 9 months ago
1992
ACM
Today, most cooperative systems support primarily either asynchronous or synchronous (real time) cooperative work. We feel that both synchronous and asynchronous cooperation are e...
157
click to vote
HUMO
2000
Springer
15 years 8 months ago
2000
Springer
Intelligent meeting rooms should support efficient and effective interactions among its occupants. In this paper, we present our efforts toward building intelligent environments u...
155
click to vote
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a system which learns from examples to automatically recognize people and estimate their poses in image sequences with the potential application to daily surve...
143
click to vote
FIS
2008
15 years 6 months ago
2008
While reasoners are year after year scaling up in the classical, time invariant domain of ontological knowledge, reasoning upon rapidly changing information has been neglected or f...