Sciweavers

2302 search results - page 293 / 461
» Basic Description Logics
Sort
View
ICSOC
2007
Springer
16 years 10 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...
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
16 years 8 days ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
LAWEB
2006
IEEE
16 years 6 days ago
Recycling Course Web Pages for the Semantic Web
This work describes an approach for the semi-automatic learning object metadata markup of course’s web pages and their posterior extraction into Scorm Packages. This is identifi...
Regina Motz, Raquel Sosa, Andrea Rodríguez
LAWEB
2005
IEEE
15 years 11 months ago
Optimized Index Structures for Querying RDF from the Web
Storing and querying Resource Description Framework (RDF) data is one of the basic tasks within any Semantic Web application. A number of storage systems provide assistance for th...
Andreas Harth, Stefan Decker
ICANN
2005
Springer
15 years 11 months ago
Dynamics of Cortical Columns - Self-organization of Receptive Fields
We present a system of differential equations which abstractly models neural dynamics and synaptic plasticity of a cortical macrocolumn. The equations assume inhibitory coupling b...
Jörg Lücke, Jan D. Bouecke