12774 search results - page 389 / 2555 » A Framework for Proof Systems |
197
click to vote
COSIT
2009
Springer
16 years 2 months ago
2009
Springer
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...
176
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
202
click to vote
KDD
2002
ACM
16 years 8 months ago
2002
ACM
Several domain specific approaches for sports video management have shown the benefits of integrating low- and high- level video contents in supporting more robust retrieval. Howev...
202
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
213
click to vote
AVSS
2008
IEEE
16 years 2 months ago
2008
IEEE
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...