121 search results - page 8 / 25 » Adaptive Application of SAT Solving Techniques |
CEC
2003
IEEE
14 years 1 months ago
2003
IEEE
We introduce a technique that allows a real robot to execute real-time learning, in which GP and RL are integrated. In our former research, we showed the result of an experiment wi...
PAMI
2010
13 years 6 months ago
2010
—This paper addresses pattern classification in the framework of domain adaptation by considering methods that solve problems in which training data are assumed to be available o...
CLUSTER
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper presents a distributed object model MOIDE for solving irregularly structured problems on cluster. The primary appeal of MOIDE is its flexible system structure that is a...
IFIP
2001
Springer
14 years 12 days ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
PPAM
2001
Springer
14 years 12 days ago
2001
Springer
This paper presents an overview of pARMS, a package for solving sparse linear systems on parallel platforms. Preconditioners constitute the most important ingredient in the solutio...