4573 search results - page 257 / 915 » Automated Reasoning |
177
click to vote
TPHOL
2007
IEEE
16 years 27 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...
162
click to vote
ICCBR
2007
Springer
16 years 24 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...
162
click to vote
ECSQARU
2005
Springer
16 years 5 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...
181
click to vote
EWCBR
2004
Springer
16 years 1 days 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...
170
click to vote
EWCBR
2004
Springer
16 years 1 days ago
2004
Springer
When events such as severe weather or congestion interfere with the normal flow of air traffic, air traffic controllers may implement plays that reroute one or more traffic flows. ...