7978 search results - page 784 / 1596 » Combining shared-coin algorithms |
199
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulatin...
158
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
208
click to vote
ICCAD
2001
IEEE
16 years 4 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
149
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We present a generic objectness measure, quantifying how
likely it is for an image window to contain an object of
any class. We explicitly train it to distinguish objects with
a...
219
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Identifying handled objects, i.e. objects being manipulated by a user, is essential for recognizing the person’s activities. An egocentric camera as worn on the body enjoys many...