21094 search results - page 137 / 4219 » An experiment using DLV-K |
177
click to vote
ENTCS
2008
15 years 6 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
168
click to vote
JFR
2006
15 years 6 months ago
2006
We derive categories directly from robot sensor data to address the symbol grounding problem. Unlike model-based approaches where human intuitive correspondences are sought betwee...
184
click to vote
PERVASIVE
2008
Springer
15 years 6 months ago
2008
Springer
Networked devices for the storage and rendering of digital media are rapidly becoming ubiquitous in homes throughout the industrialized world. Existing approaches to home media con...
148
click to vote
SPE
1998
15 years 6 months ago
1998
We are investigating a novel user interface paradigm based on zooming, in which users are presented with a zooming view of a huge planar information surface. We have developed a s...
177
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper, we consider routing in multi-hop wireless mesh networks. We analyze three standardized and commonly deployed routing mechanisms that we term “nodepair discovery...