6409 search results - page 421 / 1282 » A Computational Algorithm for Origami Design |
186
click to vote
IAT
2003
IEEE
16 years 2 days ago
2003
IEEE
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...
155
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
217
Voted
KES
2008
Springer
15 years 6 months ago
2008
Springer
Evolutionary techniques provide powerful tools to design novel solutions for hard problems in different areas. However, the problem of scale (i.e. how to create a large, complex s...
170
Voted
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
Bayesian reconstruction methods are slow and have been avoided in 3D ultrasound, since fast algorithms are required. This paper tries to overcome this difficulty by presenting a f...
158
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...