Sciweavers

4617 search results - page 149 / 924
» Automation of Diagrammatic Reasoning
Sort
View
FLAIRS
1998
15 years 7 months ago
Automated Generation of Plans through the Use of Context-Based Reasoning
Automatedplanning within the scope of middle level echelondecision makingprocessesis beginningto receive increasedresearchattentionin an attemptto reducethe size of the supportsta...
Carmen Grama, Eytan Pollak, Randy Brasch, James Wa...
KBSE
2006
IEEE
16 years 11 days ago
Automated Reasoning on Aspects Interactions
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
Paolo Falcarin, Marco Torchiano
IJCAI
1997
15 years 7 months ago
Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning
The class of algorithms for approximating reasoning tasks presented in this paper is based on approximating the general bucket elimination framework. The algorithms have adjustabl...
Rina Dechter
ICSE
2003
IEEE-ACM
16 years 6 months ago
6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction
This report gives an overview of the 6th ICSE Workshop on Component-Based Software Engineering held at 25th International Conference on Software Engineering. The workshop brought ...
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Staffo...