Sciweavers

513 search results - page 44 / 103
» Operational and abstract semantics of the query language G-L...
Sort
View
JUCS
2007
94views more  JUCS 2007»
14 years 11 months ago
Discovering the Semantics of User Keywords
Abstract: The technology in the field of digital media generates huge amounts of textual information every day, so mechanisms to retrieve relevant information are needed. Under th...
Raquel Trillo, Jorge Gracia, Mauricio Espinoza, Ed...
114
Voted
EDOC
2011
IEEE
13 years 11 months ago
UML Metamodel-based Workflow Modeling and Execution
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
Jens Brüning, Martin Gogolla
DFG
2004
Springer
15 years 4 months ago
Executable HybridUML and Its Application to Train Control Systems
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
Kirsten Berkenkötter, Stefan Bisanz, Ulrich H...
SMC
2010
IEEE
124views Control Systems» more  SMC 2010»
14 years 9 months ago
SoftFacts: A top-k retrieval engine for ontology mediated access to relational databases
—We outline SoftFacts, an ontology mediated top-k information retrieval system over relational databases. An ontology layer is used to define (in terms of a OWL-QL like Semantic...
Umberto Straccia
123
Voted
CORR
2004
Springer
110views Education» more  CORR 2004»
14 years 11 months ago
On Modal Logics of Partial Recursive Functions
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
Pavel Naumov