181 search results - page 3 / 37 » New Inference Rules for Max-SAT |
AAAI
2007
13 years 8 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
WWW
2004
ACM
14 years 6 months ago
2004
ACM
Defining dependency models is sometimes an easier, more intuitive way for ontology representation than defining reactive rectly, as it provides a higher level of abstraction. We w...
ISIPTA
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper addresses the following question: how should we update our beliefs after observing some incomplete data, in order to make credible predictions about new, and possibly i...
IJCAI
1997
13 years 7 months ago
1997
Bayesian belief networks have grown to prominence because they provide compact representations of many domains, and there are algorithms to exploit this compactness. The next step...
ICCD
2006
IEEE
14 years 2 months ago
2006
IEEE
— New back-end design for manufacturability rules have brought guarantee rules for interconnect matching. These rules indicate a certain capacitance matching guarantee given spac...