10718 search results - page 631 / 2144 » On the Circuit Implementation Problem |
200
Voted
MICAI
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...
208
click to vote
ICANN
2009
Springer
15 years 12 months ago
2009
Springer
Neural networks and other sophisticated machine learning algorithms frequently miss simple solutions that can be discovered by a more constrained learning methods. Transition from ...
200
Voted
TOOLS
1997
IEEE
15 years 11 months ago
1997
IEEE
Software design patterns describe proven solutions to recurring software design problems. Knowledge of these patterns increases designers’ abilities, leads to cleaner and more e...
145
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We consider a navigation problem for a robot equipped with only a map, compass, and contact sensor. In addition to the limitations placed on sensing, we assume that there exist...
198
click to vote
SC
2003
ACM
16 years 16 days ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...