Sciweavers

7075 search results - page 80 / 1415
» Models and heterogeneous reasoning
Sort
View
AMI
2008
Springer
14 years 2 days ago
An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
Fiemke Both, Mark Hoogendoorn, Jan Treur
CAISE
2005
Springer
14 years 3 months ago
Automated Reasoning on Feature Models
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
David Benavides, Pablo Trinidad Martín-Arro...
DOLAP
2005
ACM
14 years 6 hour ago
Modeling, querying and reasoning about OLAP databases: a functional approach
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
Ken Q. Pu
AAAI
2000
13 years 11 months ago
Disjunctive Temporal Reasoning in Partially Ordered Models of Time
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
Mathias Broxvall, Peter Jonsson
ECOOP
2007
Springer
14 years 4 months ago
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
Stephanie Balzer, Thomas R. Gross, Patrick Eugster