Sciweavers

2835 search results - page 217 / 567
» Common Semantics for Use Cases and Task Models
Sort
View
PPDP
2004
Springer
16 years 10 days 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
162
Voted
ICDAR
1997
IEEE
15 years 11 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...
208
Voted
CLEF
2005
Springer
16 years 16 days 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...
206
Voted
SEW
2005
IEEE
16 years 17 days 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 8 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