Sciweavers

3244 search results - page 368 / 649
» Extensions to Description Logics
Sort
View
ICESS
2007
Springer
16 years 27 days ago
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
Gang Zhou, Man-Kit Leung, Edward A. Lee
ICSOC
2007
Springer
16 years 27 days ago
An Execution Engine for Semantic Business Processes
In this paper we present the architecture and design of an extended BPEL engine that implements the operational semantics of BPEL4SWS. BPEL4SWS is an extension of the BPEL language...
Tammo van Lessen, Jörg Nitzsche, Marin Dimitr...
TEX
2004
Springer
207views Latex» more  TEX 2004»
16 years 2 days ago
Arabic Mathematical e-Documents
What problems do e-documents with mathematical expressions in an Arabic presentation present? In addition to the known difficulties of handling mathematical expressions based on L...
Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami
APN
1999
Springer
15 years 11 months ago
Autonomous Continuous P/T Systems
Discrete event dynamic systems may have extremely large state spaces. For their analysis, it is usual to relax the description by removing the integrality constraints. Applying thi...
Laura Recalde, Enrique Teruel, Manuel Silva
ECCV
2006
Springer
15 years 10 months ago
Dynamic Texture Recognition Using Volume Local Binary Patterns
Dynamic texture is an extension of texture to the temporal domain. Description and recognition of dynamic textures has attracted growing attention. In this paper, a new method for ...
Guoying Zhao, Matti Pietikäinen