Sciweavers

2082 search results - page 143 / 417
» Change Paths in Reasoning!
Sort
View
127
Voted
MMNS
2007
113views Multimedia» more  MMNS 2007»
15 years 5 months ago
Measuring Interaction QoE in Internet Videoconferencing
Internet videoconferencing has emerged as a viable medium for communication and entertainment. However, its widespread use is being challenged. This is because videoconference end-...
Prasad Calyam, Mark Haffner, Eylem Ekici, Chang-Gu...
TC
2008
15 years 3 months ago
An Efficient and Deadlock-Free Network Reconfiguration Protocol
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...
Olav Lysne, José Miguel Montañana, J...
ICRA
2009
IEEE
131views Robotics» more  ICRA 2009»
15 years 1 months ago
Efficient C-space and cost function updates in 3D for unmanned aerial vehicles
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...
Sebastian Scherer, Dave Ferguson, Sanjiv Singh
233
Voted
GIS
2007
ACM
16 years 5 months ago
Proximity queries in large traffic networks
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 ...
Hans-Peter Kriegel, Matthias Renz, Peer Kröge...
234
Voted
POPL
2008
ACM
16 years 4 months ago
Proving non-termination
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...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...