4617 search results - page 278 / 924 » Automation of Diagrammatic Reasoning |
217
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
175
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
160
click to vote
ICCBR
2007
Springer
16 years 22 days ago
2007
Springer
The problem of label ranking has recently been introduced as an extension of conventional classification in the field of machine learning. In this paper, we argue that label ran...
158
click to vote
ECSQARU
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
177
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
Knowledge-intensive CBR assumes that cases are enriched with general domain knowledge. In CREEK, there is a very strong coupling between cases and general domain knowledge, in that...