1076 search results - page 155 / 216 » Operations on proofs and labels |
CANDC
2009
ACM
14 years 3 months ago
2009
ACM
This paper introduces the idea of actualizing theory in the context of artistic practice. We describe the project BodyDaemon and its function as a technology-based artwork that is...
IROS
2008
IEEE
2008
IEEE
HybridExploration: A distributed approach to terrain exploration using mobile and fixed sensor nodes
14 years 3 months ago
— When an emergency occurs within a building, it may be initially safer to send autonomous mobile nodes, instead of human responders, to explore the area and identify hazards and...
ISPAN
2008
IEEE
14 years 3 months ago
2008
IEEE
Intuitively, a signed graph is a graph in which every edge is labeled with a + or − sign. For each edge, its sign represents the mode of the relationship between the vertices it...
CIRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— In human-robot communication it is often important to relate robot sensor readings to concepts used by humans. We believe that access to semantic maps will make it poss...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Unstructured peer-to-peer networks have gained a lot of popularity due to their resilience to network dynamics. The core operation in such networks is to efficiently locate res...