5015 search results - page 907 / 1003 » Model Checking a Path |
CVPR
2010
IEEE
13 years 10 months ago
2010
IEEE
We present a novel approach for robust localization of multiple people observed using multiple cameras. We use this location information to generate sports visualizations, which i...
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
IP traceback can be used to find the origin of anonymous traffic; however, Internet-scale IP traceback systems have not been deployed due to a need for cooperation between Interne...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
Before the advent of Hidden Markov Models(HMM)-based speech recognition, many speech applications were built using pattern matching algorithms like the Dynamic Time Warping (DTW) ...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
Network coding has been recently proposed as an efficient method to improve throughput, minimize delays and remove the need for reconciliation between network nodes in distribute...
CN
2010
13 years 9 months ago
2010
We consider massively dense ad hoc networks and study their continuum limits as the node density increases and as the graph providing the available routes becomes a continuous area...