2519 search results - page 70 / 504 » Reasoning with Textual Cases |
131
click to vote
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
129
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
In case-based reasoning, the adaptation step depends in general on domain-dependent knowledge, which motivates studies on adaptation knowledge acquisition (AKA). CABAMAKA is an AKA...
137
click to vote
FLAIRS
2000
15 years 5 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
121
click to vote
AEI
2004
15 years 4 months ago
2004
The estimation of productivity rates in cyclic construction processes is a difficult, but essential task in the planning of construction projects. The conventional method--a calcu...
155
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...