3229 search results - page 494 / 646 » The Theory of Timed Automata |
142
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper proposes error resilient video transcoding structures based on the multiple description (MD) scheme. Two structures are proposed for different use, namely low complexit...
185
click to vote
ICNP
2006
IEEE
16 years 18 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
172
click to vote
ICPP
2006
IEEE
16 years 18 days ago
2006
IEEE
stractions are extensively used to understand and solve challenging computational problems in various scientific and engineering domains. They have particularly gained prominence...
142
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
— This paper presents the Visual Threat Awareness (VISTA) system for real time collision obstacle detection for an unmanned air vehicle (UAV). Computational stereo performance ha...
169
click to vote
ISBI
2006
IEEE
16 years 18 days ago
2006
IEEE
For high quality MR imaging of time-varying objects such as beating heart or brain hemodynamics, we need to reduce signal acquisition time without sacrificing the spatial resolut...