27756 search results - page 5049 / 5552 » Process Query Systems |
190
click to vote
WACV
2005
IEEE
15 years 12 months ago
2005
IEEE
We present an approach for persistent tracking of moving objects observed by non-overlapping and moving cameras. Our approach robustly recovers the geometry of non-overlapping vie...
182
click to vote
WECWIS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...
166
click to vote
ACMACE
2005
ACM
15 years 12 months ago
2005
ACM
This paper describes the design of SCORPIODROME a mixed reality game for groups of 3-4 children aged 11-14. SCORPIODROME is designed for social gaming; i.e., computer gaming that ...
166
click to vote
ASPDAC
2005
ACM
15 years 12 months ago
2005
ACM
－In high performance systems, process variations and fluctuations of operating environments have significant impact on the clock skew. Recently, hybrid structures of H-tree and m...
196
Voted
HASKELL
2005
ACM
15 years 12 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...