2446 search results - page 59 / 490 » First Smart Spaces |
136
Voted
DDECS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
145
click to vote
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
When intelligent systems reason about complex problems with a large hierarchical classification space it is hard to evaluate system performance. For classification problems, differ...
151
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We provide the first linear-space data structure with provable sublinear query time for exact point-topoint shortest path queries in planar graphs. We prove that for any planar gr...
116
click to vote
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
The conventional approach for building pervasive environments relies on middleware to integrate different systems. Instead, we have built a system that can deal with these environ...
111
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...