799 search results - page 9 / 160 » Synthesis for Probabilistic Environments |
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
126
click to vote
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
While there is a vast amount of literature considering PDE based inpainting and inpainting by texture synthesis, only a few publications are concerned with combination of both appr...
GLVLSI
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we discuss a methodology to design and synthesize analog CMOS components such as RF amplifiers. The inputs of the synthesis tool are the circuit specifications desc...
120
click to vote
ICMAS
1998
15 years 1 months ago
1998
In this paper, a model is proposed for multi-agent probabilistic reasoning in a distributed environment. Unlike other methods, this model is capable of processing input in a truly...
SIGSOFT
2009
ACM
16 years 15 days ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...