1521 search results - page 216 / 305 » Efficient Design Validation Based on Cultural Algorithms |
135
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
143
Voted
UAI
2001
15 years 5 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
120
click to vote
ENTCS
2008
15 years 4 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...
103
click to vote
ECEASST
2006
15 years 4 months ago
2006
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...
174
Voted
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Efficient view registration with respect to a given 3D reconstruction
has many applications like inside-out tracking
in indoor and outdoor environments, and geo-locating images
...