88 search results - page 17 / 18 » New Inference Rules for Efficient Max-SAT Solving |
BMCBI
2010
13 years 7 months ago
2010
Emerging knowledge of whole prokaryotic transcriptomes could validate a number of theoretical concepts introduced in the early days of genomics. What are the rules connecting gene...
PAMI
2012
11 years 10 months ago
2012
—There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. A context mod...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Query processing techniques for XML data have focused mainly on tree-pattern queries (TPQs). However, the need for querying XML data sources whose structure is very complex or not...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...