920 search results - page 132 / 184 » Generating Satisfiable Problem Instances |
IJCAI
2001
13 years 11 months ago
2001
Role-limiting approaches using explicit theories of problem-solving have been successful for acquiring knowledge from domain experts1 . However most systems using this approach do...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
Given the importance of optimization and informatics which are the two broad fields of research, we present an instance of Optinformatics which denotes the specialization of info...
FUIN
2008
13 years 10 months ago
2008
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distribut...
TMI
2002
13 years 9 months ago
2002
Active model-based segmentation has frequently been used in medical image processing with considerable success. Although the active model-based method was initially viewed as an op...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
---- The traditional web caching is currently limited to static documents only. A page generated on the fly from a server side script may have different contents on different acces...