2083 search results - page 105 / 417 » Perception and Experience in Problem Solving |
142
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
130
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A well-known difficulty with solving Constraint Satisfaction Problems (CSPs) is that, while one formulation of a CSP may enable a solver to solve it quickly, a different ...
165
click to vote
IJCAI
1989
15 years 5 months ago
1989
A macro-operator is an integrated operator consisting of plural primitive operators and enables a problem solver to solve more efficiently. However, if a learning system generates...
166
Voted
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Kernel regression techniques such as Relevance Vector Machine (RVM) regression, Support Vector Regression and Gaussian processes are widely used for solving many computer vision p...
147
click to vote
SIMULATION
1998
15 years 4 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...