Sciweavers

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