2934 search results - page 423 / 587 » Universality in Multi-Agent Systems |
163
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The Web has established itself as the largest public data repository ever available. Even though the vast majority of information on the Web is formatted to be easily readable by ...
174
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Semantic Web technology is intended for the retrieval, collection, and analysis of meaningful data with significant automation afforded by machine understandability of data [1]. A...
167
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
145
Voted
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Urban designers and urban planners often conduct site visits prior to a design activity to search for patterns or better understand existing conditions. We introduce SiteLens, an ...
141
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...