Sciweavers

2056 search results - page 7 / 412
» time 2000
Sort
View
ICPR
2000
IEEE
14 years 9 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»
14 years 1 months ago
Formal Verification of Safety Properties in Timed Circuits
Marco A. Peña, Jordi Cortadella, Enric Past...