902 search results - page 100 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
170
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
159
click to vote
HUC
2010
Springer
15 years 4 months ago
2010
Springer
Even though the coordination of kids’ activities is largely successful, the modern dual income family still regularly experiences breakdowns in their practices. Families often r...
184
click to vote
VOTEID
2007
Springer
16 years 12 days ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
198
click to vote
WICSA
2004
15 years 7 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
190
click to vote
IGPL
2010
15 years 4 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...