2934 search results - page 333 / 587 » Universality in Multi-Agent Systems |
152
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The advantages of paper-based maps have been utilized in the field of mobile Augmented Reality (AR) in the last few years. Traditional paper-based maps provide high-resolution, la...
142
click to vote
ICFEM
2007
Springer
16 years 23 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
165
click to vote
ISM
2006
IEEE
16 years 19 days ago
2006
IEEE
We first present the tele-immersive environments developed jointly by University of Illinois at Urbana-Champaign and University of California at Berkeley. The environment feature...
177
click to vote
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
154
click to vote
SIGUCCS
2006
ACM
16 years 17 days ago
2006
ACM
A scalable podcast solution developed at the University of Washington makes the podcasting of class lectures easy for faculty by automating the capture, uploading, and delivery of...