6020 search results - page 862 / 1204 » A New Approach to Model Counting |
196
click to vote
ICVS
2001
Springer
15 years 11 months ago
2001
Springer
High-level vision systems use object, scene or domain specific knowledge to interpret images. Unfortunately, this knowledge has to be acquired for every domain. This makes it diffi...
182
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Vision feedback control loop techniques are efficient for a great class of applications but they come up against difficulties when the initial and desired positions of the camer...
166
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
Bayesian MLP neural networks are a flexible tool in complex nonlinear problems. The approach is complicated by need to evaluate integrals over high-dimensional probability distri...
184
click to vote
DAC
2000
ACM
15 years 11 months ago
2000
ACM
Abstract: This paper presents a new statistical methodology to simulate the effect of both inter-die and intra-die variation on the electrical performance of analog integrated circ...
156
click to vote
ASPDAC
1999
ACM
15 years 11 months ago
1999
ACM
In the past two decades, the simulated annealing technique has been considered as a powerful approach to handle many NP-hard optimization problems in VLSI designs. Recently, a new...