4341 search results - page 687 / 869 » Quantitative Model checking |
171
click to vote
GLOBECOM
2008
IEEE
16 years 28 days ago
2008
IEEE
—Challenges of routing scalability has attracted many research efforts, represented by the works of splitting identifier and locator semantics of IP addresses. A group of identi...
171
click to vote
ICASSP
2008
IEEE
16 years 28 days ago
2008
IEEE
The problem of interest is to characterize to what extent nodes independently following certain transmission schedules can be hijacked to relay flows of information packets. Info...
167
click to vote
ICMCS
2008
IEEE
16 years 27 days ago
2008
IEEE
We propose a method for separating accompaniment from polyphonic music and its karaoke application, both based on automatic melody transcription. First, the method transcribes the...
135
click to vote
ICRA
2008
IEEE
16 years 27 days ago
2008
IEEE
— To be acceptable to human drivers, the motion of an intelligent robotic wheelchair must be more than just collision-free: it must be graceful. We define graceful motion as bei...
184
click to vote
INFOCOM
2008
IEEE
16 years 26 days ago
2008
IEEE
—This paper studies window flow control focusing on bridging the gap between microscopic factors such as burstiness in sub-RTT timescales, and observable macroscopic properties ...