728 search results - page 72 / 146 » Efficient Searching with Linear Constraints |
144
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
169
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a 3-level hierarchical model for localizing human bodies in still images from arbitrary viewpoints. We first fit a simple tree-structured model defined on a small landm...
139
Voted
TRANSCI
2008
15 years 6 months ago
2008
The availability of relatively cheap small jet aircrafts suggests a new air transportation business: dial-a-flight, an on-demand service in which travelers call a few days in adva...
167
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
The rapid growth of the Internet has resulted in enormous amounts of information that has become more difficult to access efficiently. Internet users require tools to help manage ...
167
click to vote
IAJIT
2010
15 years 4 months ago
2010
: The coding gain of the H.264/AVC video encoder mainly comes from the new incorporated prediction tools. However, their enormous computation and ultrahigh memory bandwidth are the...