4946 search results - page 727 / 990 » Interacting with Large Displays |
149
click to vote
ICAC
2005
IEEE
16 years 10 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
193
click to vote
ICCV
2005
IEEE
16 years 10 days ago
2005
IEEE
We present a 2D model-based approach to localizing human body in images viewed from arbitrary and unknown angles. The central component is a statistical shape representation of th...
164
click to vote
MKM
2005
Springer
16 years 7 days ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
150
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
146
Voted
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
One of the long-term goals of Artificial Intelligence is construction of a machine that is capable of reasoning about the everyday world the way humans are. In this paper, I fir...