Sciweavers

2602 search results - page 101 / 521
» Semantic Analysis of 'to'
Sort
View
CAISE
2009
Springer
16 years 29 days ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez
ISMIS
2005
Springer
15 years 12 months ago
Semantic-Based Access to Digital Document Databases
Abstract. Discovering significant meta-information from document collections is a critical factor for knowledge distribution and preservation. This paper presents a system that im...
Floriana Esposito, Stefano Ferilli, Teresa Maria A...
CIVR
2004
Springer
149views Image Analysis» more  CIVR 2004»
15 years 10 months ago
A Framework for Semantic Classification of Scenes Using Finite State Machines
We address the problem of classifying scenes from feature films into semantic categories and propose a robust framework for this problem. We propose that the Finite State Machines ...
Yun Zhai, Zeeshan Rasheed, Mubarak Shah
AVI
2000
15 years 7 months ago
A Modular Approach for Exploring the Semantic Structure of Technical Document Collections
The identification and analysis of an enterprise's knowledge available in a documented form is a key element of knowledge management. Visual methods which allow easy access t...
Andreas Becks, Stefan Sklorz, Matthias Jarke
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 6 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer