1313 search results - page 202 / 263 » Generic Universe Types |
303
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We propose a novel tracking algorithm that can work robustly in a challenging scenario such that several kinds of appearance and motion changes of an object occur at the same time....
184
click to vote
MOBICOM
2009
ACM
16 years 21 days ago
2009
ACM
Intended for network-wide dissemination of commands, configurations and code binaries, flooding has been investigated extensively in wireless networks. However, little work has ...
183
click to vote
PPDP
2007
Springer
16 years 9 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
219
click to vote
SCESM
2006
ACM
16 years 4 days ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
156
click to vote
FOCS
2005
IEEE
15 years 11 months ago
2005
IEEE
We consider the problem of embedding finite metrics with slack: we seek to produce embeddings with small dimension and distortion while allowing a (small) constant fraction of al...