Sciweavers

446 search results - page 50 / 90
» Export Behaviour Modeling Using EvoNF Approach
Sort
View
ICIW
2009
IEEE
14 years 4 months ago
Ontology-Based Translation of Business Process Models
Semantic Business Process Management is a recent and promising research area devoted to extending the results from Semantic Web Services — i.e., the application of ontology-base...
Barry Norton, Liliana Cabral, Jörg Nitzsche
FIW
2009
163views Communications» more  FIW 2009»
13 years 8 months ago
Detecting policy conflicts by model checking UML state machines
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
Maurice H. ter Beek, Stefania Gnesi, Carlo Montang...
AGTIVE
2003
Springer
14 years 3 months ago
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
Juan de Lara, Esther Guerra, Hans Vangheluwe
AAMAS
2005
Springer
14 years 3 months ago
Experiments in Subsymbolic Action Planning with Mobile Robots
The ability to determine a sequence of actions in order to reach a particular goal is of utmost importance to mobile robots. One major problem with symbolic planning approaches re...
John Pisokas, Ulrich Nehmzow
ECCV
1996
Springer
15 years 2 days ago
Generation of Semantic Regions from Image Sequences
The simultaneous interpretation of object behaviour from real world image sequences is a highly desirable goal in machine vision. Although this is rather a sophisticated task, one ...
Jonathan H. Fernyhough, Anthony G. Cohn, David Hog...