3679 search results - page 605 / 736 » Answer set based design of knowledge systems |
145
Voted
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
In the drive to improve patient safety, patients in modern intensive care units are closely monitored with the generation of very large volumes of data. Unless the data are further...
152
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
We address the problem of instruction selection for Multi-Output Instructions (MOIs), producing more than one result. Such inherently parallel hardware instructions are very commo...
138
Voted
SIGIR
2004
ACM
15 years 10 months ago
2004
ACM
Applying Belief Revision logic to model adaptive information retrieval is appealing since it provides a rigorous theoretical foundation to model partiality and uncertainty inheren...
252
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
When a database query has a large number of results, the user can only be shown one page of results at a time. One popular approach is to rank results such that the "best&quo...
160
Voted
CCO
2001
Springer
15 years 9 months ago
2001
Springer
Branch, cut, and price (BCP) is an LP-based branch and bound technique for solving large-scale discrete optimization problems (DOPs). In BCP, both cuts and variables can be generat...