648 search results - page 44 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
123
click to vote
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
In preparation for the Intergovernmental Panel on Climate Change (IPCC) Fifth Assessment Report, the climate community will run the Coupled Model Intercomparison Project phase 5 (...
137
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Although there are a large number of thesauri for the biomedical domain many of them lack coverage in terms and their variant forms. Automatic thesaurus construction b...
105
click to vote
IJCAI
2003
15 years 2 months ago
2003
Information integration systems provide a uniform query interface to a set of sources. One of the key challenges for an information integration system is to provide maximally comp...
120
click to vote
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
Application-specific instructions can significantly improve the performance, energy, and code size of configurable processors. A common approach used in the design of such instruc...
MP
2010
14 years 12 months ago
2010
We study the mixed-integer rounding (MIR) closures of polyhedral sets. The MIR closure of a polyhedral set is equal to its split closure and the associated separation problem is N...