1716 search results - page 174 / 344 » Proving Conditional Termination |
134
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
We present a novel approach for highway traffic event detection. Our algorithm extracts features directly from the compressed video and automatically detects traffic events using ...
42
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper concerns studying dissipativity of a system with supply rates that depend on one or more parameters. We show that suitable choice of supply rate turns out to make di...
97
Voted
APWEB
2007
Springer
15 years 7 months ago
2007
Springer
How can a RFID (Radio Frequency Identification Devices) system prove that two or more RFID tags are in the same location? Previous researchers have proposed yoking-proof and groupi...
113
click to vote
MHCI
2007
Springer
15 years 6 months ago
2007
Springer
Tourism has been a key driver for mobile applications. This short paper presents the design and initial evaluation of a mobile phone based visualisation to support skiers. Paper p...
121
Voted
AVSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Visually track several moving persons engaged in close interactions is known to be a very hard problem, though 3-D approaches based on stereo vision and plan-view maps offer much ...