387 search results - page 49 / 78 » Many Random Walks Are Faster Than One |
DAC
2010
ACM
14 years 29 days ago
2010
ACM
Timing exception verification has become a center of interest as incorrect constraints can lead to chip failures. Proving that a false path is valid or not is a difficult problem ...
GLVLSI
2009
IEEE
14 years 27 days ago
2009
IEEE
1 Soft errors caused by cosmic particles and radiation emitted by the packaging are an important problem in contemporary microprocessors. Parity bits are used to detect single bit ...
EDBT
2000
ACM
14 years 20 days ago
2000
ACM
In this paper we present the Slim-tree, a dynamic tree for organizing metric datasets in pages of fixed size. The Slim-tree uses the "fat-factor" which provides a simple ...
AGI
2008
13 years 10 months ago
2008
In order to claim fully general intelligence in an autonomous agent, the ability to learn is one of the most central capabilities. Classical machine learning techniques have had ma...
AAAI
2010
13 years 10 months ago
2010
Many problems require repeated inference on probabilistic graphical models, with different values for evidence variables or other changes. Examples of such problems include utilit...