Sciweavers

2835 search results - page 217 / 567
» Common Semantics for Use Cases and Task Models
Sort
View
PPDP
2004
Springer
15 years 10 months ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
ICDAR
1997
IEEE
15 years 8 months ago
Knowledge-based Document Analysis
The performance of document analysis systems significantly depends on knowledge about the application domain that can be exploited in the analysis process. Typically, one has to d...
Karl-Hans Bläsius, Beate Grawemeyer, Isabel J...
CLEF
2005
Springer
15 years 10 months ago
Content-Based Retrieval of Medical Images by Combining Global Features
A combination of several classifiers using global features for the content description of medical images is proposed. Beside well known texture histogram features, downscaled repr...
Mark Oliver Güld, Christian Thies, Benedikt F...
SEW
2005
IEEE
15 years 10 months ago
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
Paolo Donzelli, Daniel Hirschbach, Victor R. Basil...
ICMAS
2000
15 years 6 months ago
The Computational Complexity of Agent Design Problems
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
Michael Wooldridge