4488 search results - page 424 / 898 » Focusing Search by Using Problem Solving Experience |
152
Voted
ISCAS
2006
IEEE
16 years 10 days ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
205
Voted
IJCAI
1989
15 years 7 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...
167
click to vote
CIMCA
2005
IEEE
15 years 12 months ago
2005
IEEE
Several methodologies based on Multi-agent Systems (MAS) already exist. They help designers to describe software or to create MAS which aim at solving complex problems by simulati...
164
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
The autofocus problem in synthetic aperture radar (SAR) is considered, where phase errors in the acquired signal data result in imagery that is improperly focused. We present a ne...
162
click to vote
ADC
2009
Springer
16 years 28 days ago
2009
Springer
Given a large volume of Web documents, we consider problem of finding the shortest keyword sequences for each of the documents such that a keyword sequence can be rendered to a g...