170 search results - page 23 / 34 » A Bounding Quantifier |
121
click to vote
DAC
2004
ACM
16 years 20 days ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
ISAAC
2007
Springer
15 years 5 months ago
2007
Springer
Social networks support efficient decentralized search: people can collectively construct short paths to a specified target in the network. Rank-based friendship—where the prob...
106
click to vote
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper describes an efficient pedestrian detection system for videos acquired from moving platforms. Given a detected and tracked object as a sequence of images within a bound...
VLSID
2004
IEEE
16 years 2 days ago
2004
IEEE
As we move from deep submicron technology to nanotechnology for device manufacture, the need for defect-tolerant architectures is gaining importance. This is because, at the nanos...
95
Voted
ICC
2009
IEEE
15 years 6 months ago
2009
IEEE
—Wireless ad hoc networks require bidirectional data transmission to support two-way traffic and control functions like packet acknowledgement. Most prior work on the capacity o...