Sciweavers

633 search results - page 25 / 127
» A Semantic Basis for Quest
Sort
View
ESWS
2004
Springer
14 years 1 months ago
Semantic Web Technologies for Economic and Financial Information Management
The field of economy and finance is a conceptually rich domain where information is complex, huge in volume and a highly valuable business product by itself. Novel management techn...
Pablo Castells, Borja Foncillas, Rubén Lara...
FSTTCS
2006
Springer
13 years 11 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
FMCAD
2000
Springer
13 years 11 months ago
B2M: A Semantic Based Tool for BLIF Hardware Descriptions
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
David A. Basin, Stefan Friedrich, Sebastian Mö...
NAACL
2003
13 years 9 months ago
Semantic Coherence Scoring Using an Ontology
In this paper we present ONTOSCORE, a system for scoring sets of concepts on the basis of an ontology. We apply our system to the task of scoring alternative speech recognition hy...
Iryna Gurevych, Rainer Malaka, Robert Porzel, Hans...
CAISE
2009
Springer
14 years 2 months 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