2364 search results - page 395 / 473 » An Engine for Computing Well-Founded Models |
152
click to vote
AMAI
2000
Springer
15 years 7 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
138
click to vote
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
When orchestrating data-centric workflows as are commonly found in the sciences, centralised servers can become a bottleneck to the performance of a workflow; output from service i...
250
click to vote
CIBCB
2007
IEEE
15 years 5 months ago
2007
IEEE
—In metabolic engineering it is difficult to identify which set of genetic manipulations will result in a microbial strain that achieves a desired production goal, due to the co...
130
click to vote
FLAIRS
2001
15 years 5 months ago
2001
SUITEKeys is a speech user interface for motor-disabled computer users. This interface provides access to all available functionality of a computer by modeling interaction at the ...
137
click to vote
NIPS
2004
15 years 5 months ago
2004
High retrieval precision in content-based image retrieval can be attained by adopting relevance feedback mechanisms. These mechanisms require that the user judges the quality of t...