2152 search results - page 360 / 431 » On Automating the Calculus of Relations |
103
click to vote
ICCBR
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
88
Voted
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
107
Voted
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
87
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
The relationship between doctors and their patients is gaining more and more importance in the health care providing. It determines the compliance of the treatment and a part of t...