Sciweavers

8337 search results - page 119 / 1668
» Reasoning With Characteristic Models
Sort
View
IBERAMIA
2004
Springer
15 years 9 months ago
Dynamic Case Base Maintenance for a Case-Based Reasoning System
Abstract. The success of a case-based reasoning system depends critically on the relevance of the case base. Much current CBR research focuses on how to compact and refine the con...
Maria Salamó, Elisabet Golobardes
WIFT
1998
IEEE
153views Hardware» more  WIFT 1998»
15 years 8 months ago
Reasoning with UML Class Diagrams
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
Andy S. Evans
FLAIRS
2008
15 years 6 months ago
Reasoning with Conditional Time-Intervals
Reasoning with conditional time-intervals representing activities or tasks that may or may not be executed in the final schedule is crucial in many scheduling applications. In Con...
Philippe Laborie, Jerome Rogerie
WSC
2007
15 years 6 months ago
Expecting the unexpected: representing, reasoning about, and assessing construction project contingencies
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
G. Ryan Anderson, Nilufer Onder, Amlan Mukherjee
CORR
2008
Springer
151views Education» more  CORR 2008»
15 years 4 months ago
Checking the Quality of Clinical Guidelines using Automated Reasoning Tools
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
Arjen Hommersom, Peter J. F. Lucas, Patrick van Bo...