3514 search results - page 494 / 703 » A search space |
138
Voted
FMSD
2007
15 years 1 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
129
click to vote
TIP
2008
15 years 1 months ago
2008
We consider the problem of recognizing 3-D objects from 2-D images using geometric models and assuming different viewing angles and positions. Our goal is to recognize and localize...
124
Voted
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Exponentially rising cooling/packaging costs due to high power density call for architectural and software-level thermal management. Dynamic thermal management (DTM) techniques co...
149
Voted
SIGIR
2012
ACM
13 years 3 months ago
2012
ACM
Similarity search is a key challenge for multimedia retrieval applications where data are usually represented in high-dimensional space. Among various algorithms proposed for simi...
93
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
GP uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees, and GP searches t...