96 search results - page 12 / 20 » Solving the Satisfiability Problem Using Finite Learning Aut... |
UPP
2004
Springer
14 years 25 days ago
2004
Springer
Evolving solutions rather than computing them certainly represents an unconventional programming approach. The general methodology of evolutionary computation has already been know...
COCOON
1995
Springer
13 years 11 months ago
1995
Springer
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
FECS
2006
13 years 9 months ago
2006
- The use of computational methods for solving partial differential equations in the field of Heat Transfer is crucial. However, the actual user friendly commercial applications, f...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
In this paper, we develop a new method for recovering and smoothing fields of surface normals in shape-fromshading. We show how transform the problem of recovering surface normals...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...