482 search results - page 8 / 97 » Exploration in Metric State Spaces |
ICCAD
1999
IEEE
14 years 11 hour ago
1999
IEEE
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
FLAIRS
2003
13 years 9 months ago
2003
In our previous research, we investigated the properties of case-based plan recognition with incomplete plan libraries. Incremental construction of plan libraries along with retri...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Fast and accurate estimation is critical for exploration of any dece in general. As we move to higher levels of abstraction, on of complete system designs at each level of abstrac...
TPDS
2008
13 years 7 months ago
2008
Multicore architectures have been ruling the recent microprocessor design trend. This is due to different reasons: better performance, thread-level parallelism bounds in modern app...
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Speaker verification is a technology of verifying the claimed identity of a speaker based on the speech signal from the speaker (voice print). To learn the score of similarity be...