Sciweavers

2056 search results - page 7 / 412
» time 2000
Sort
View
146
Voted
ICPR
2000
IEEE
16 years 3 months ago
Real-Time High Density People Counter Using Morphological Tools
Antonio Albiol, Valery Naranjo, Inmaculada Mora
ASYNC
2000
IEEE
94views Hardware» more  ASYNC 2000»
15 years 7 months ago
Formal Verification of Safety Properties in Timed Circuits
Marco A. Peña, Jordi Cortadella, Enric Past...
97
Voted
CAMP
2000
IEEE
15 years 7 months ago
A Distributed System for Real-Time Volume Reconstruction
Eugene Borovikov, Larry S. Davis