4488 search results - page 724 / 898 » Focusing Search by Using Problem Solving Experience |
148
Voted
IANDC
2008
15 years 5 months ago
2008
We study the amount of knowledge about the network that is required in order to efficiently solve a task concerning this network. The impact of available information on the effici...
171
click to vote
SIAMAM
2011
15 years 23 hour ago
2011
Trace gas sensors that are compact and portable are being deployed for use in a variety of applications including disease diagnosis via breath analysis, monitoring of atmospheric p...
166
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
201
click to vote
ERCIMDL
2006
Springer
15 years 8 months ago
2006
Springer
The move towards integrated international Digital Libraries offers the opportunity of creating comprehensive data on citation networks. These data are not only invaluable pointers ...
185
Voted
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...