Sciweavers

3706 search results - page 584 / 742
» KtSeqC: System Description
Sort
View
FLAIRS
2008
15 years 8 months ago
Reasoning about Topological and Positional Information in Dynamic Settings
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
Marco Ragni, Stefan Wölfl
CAISE
2008
Springer
15 years 8 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
CC
2005
Springer
195views System Software» more  CC 2005»
15 years 8 months ago
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
Luca Padovani
IBPRIA
2007
Springer
15 years 8 months ago
Automatic Learning of Conceptual Knowledge in Image Sequences for Human Behavior Interpretation
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
Pau Baiget, Carles Fernández Tena, F. Xavie...
ODR
2008
15 years 8 months ago
Reflecting on ODR: The Israeli Example
The state of ODR in Israel provides an instructive illustration of the developments and achievements in the field as well as the significant challenges that it still faces. The gen...
Orna Rabinovich-Einy