Sciweavers

127 search results - page 14 / 26
» A Qualitative Approach to Syllogistic Reasoning
Sort
View
CONSTRAINTS
1998
127views more  CONSTRAINTS 1998»
14 years 11 months ago
Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for Temporal Reasoning
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed ...
Malek Mouhoub, François Charpillet, Jean Pa...
SIGSOFT
2004
ACM
16 years 15 days ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde
PKDD
2004
Springer
141views Data Mining» more  PKDD 2004»
15 years 5 months ago
Spatial Associative Classification at Different Levels of Granularity: A Probabilistic Approach
In this paper we propose a novel spatial associative classifier method based on a multi-relational approach that takes spatial relations into account. Classification is driven by s...
Michelangelo Ceci, Annalisa Appice, Donato Malerba
ICSE
2001
IEEE-ACM
15 years 4 months ago
A Formal Approach to Component-Based Software Engineering: Education and Evaluation
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
Murali Sitaraman, Timothy J. Long, Bruce W. Weide,...
IJCAI
2001
15 years 1 months ago
Temporal Decision Trees or the lazy ECU vindicated
The automatic generation of diagnostic decision trees from qualitative models is a reasonable compromise between the advantages of using a modelbased approach in technical domains...
Luca Console, Claudia Picardi, Daniele Theseider D...