Sciweavers

1625 search results - page 142 / 325
» Intentionality
Sort
View
ECAI
2006
Springer
14 years 1 months ago
Computational Opinions
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
Felix A. Fischer, Matthias Nickles
ECTEL
2006
Springer
14 years 1 months ago
A Context-Aware Service Oriented Framework for Finding, Recommending and Inserting Learning Objects
In this poster, we will propose a framework for finding, recommending and inserting learning objects in a digital repository level, exploiting the user context that is captured fro...
Xavier Ochoa, Stefaan Ternier, Gonzalo Parra, Erik...
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
14 years 1 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
AICCSA
2001
IEEE
131views Hardware» more  AICCSA 2001»
14 years 1 months ago
Modeling Resources in a UML-Based Simulative Environment
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
Hany H. Ammar, Vittorio Cortellessa, Alaa Ibrahim
ISMDA
2000
Springer
14 years 1 months ago
Inconsistency Tests for Patient Records in a Coronary Heart Disease Database
Abstract. The work presents the results of inconsistency detection experiments on the data records of an atherosclerotic coronary heart disease database collected in the regular me...
Dragan Gamberger, Nada Lavrac, Goran Krstacic, Tom...