Sciweavers

14649 search results - page 226 / 2930
» Principles of problem solving
Sort
View
AISC
2008
Springer
15 years 8 months ago
Strategies for Solving SAT in Grids by Randomized Search
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
MOC
2002
148views more  MOC 2002»
15 years 6 months ago
Convergence of an iterative algorithm for solving Hamilton-Jacobi type equations
Abstract. Solutions of the optimal control and H-control problems for nonlinear affine systems can be found by solving Hamilton-Jacobi equations. However, these first order nonline...
Jerry Markman, I. Norman Katz
169
Voted
ICCAD
2008
IEEE
127views Hardware» more  ICCAD 2008»
16 years 3 months ago
Verification of arithmetic datapaths using polynomial function models and congruence solving
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram ...
ICCS
2004
Springer
15 years 11 months ago
Solving Differential Equations in Developmental Models of Multicellular Structures Expressed Using L-systems
Mathematical modeling of growing multicellular structures creates the problem of solving systems of equations in which not only the values of variables, but the equations themselv...
Pavol Federl, Przemyslaw Prusinkiewicz
IJCAI
2007
15 years 7 months ago
A Fast Analytical Algorithm for Solving Markov Decision Processes with Real-Valued Resources
Agents often have to construct plans that obey deadlines or, more generally, resource limits for real-valued resources whose consumption can only be characterized by probability d...
Janusz Marecki, Sven Koenig, Milind Tambe