1058 search results - page 28 / 212 » Using Different Representations of Synchronous Systems in SA... |
140
click to vote
ICMCS
2005
IEEE
16 years 2 days ago
2005
IEEE
Periodic broadcasting (PB) schemes are the most promising solution for building large-scale video streaming services. Existing PB schemes are all built around the traditional clie...
188
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...
155
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
181
click to vote
RAS
2008
15 years 6 months ago
2008
We present an approach for creating conceptual representations of human-made indoor environments using mobile robots. The concepts refer to spatial and functional properties of ty...
155
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Visually extracted 2D and 3D information have their own advantages and disadvantages that complement each other. Therefore, it is important to be able to switch between the differ...