2082 search results - page 143 / 417 » Change Paths in Reasoning! |
127
Voted
MMNS
2007
15 years 5 months ago
2007
Internet videoconferencing has emerged as a viable medium for communication and entertainment. However, its widespread use is being challenged. This is because videoconference end-...
110
click to vote
TC
2008
15 years 3 months ago
2008
Component failures and planned component replacements cause changes in the topology and routing paths supplied by the interconnection network of a parallel processor system over ti...
146
click to vote
ICRA
2009
IEEE
15 years 1 months ago
2009
IEEE
When operating in partially-known environments, autonomous vehicles must constantly update their maps and plans based on new sensor information. Much focus has been placed on devel...
233
Voted
GIS
2007
ACM
16 years 5 months ago
2007
ACM
In this paper, we present an original network graph embedding to speed-up distance-range and k-nearest neighbor queries in (weighted) graphs. Our approach implements the paradigm ...
234
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...