Sciweavers

1188 search results - page 181 / 238
» Testing Semantics: Connecting Processes and Process Logics
Sort
View
ECOWS
2007
Springer
15 years 10 months ago
Composing Services with JOLIE
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
Fabrizio Montesi, Claudio Guidi, Gianluigi Zavatta...
ICWE
2005
Springer
15 years 9 months ago
A Model-Driven Approach for Designing Distributed Web Information Systems
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
Richard Vdovjak, Geert-Jan Houben
MIR
2003
ACM
147views Multimedia» more  MIR 2003»
15 years 9 months ago
Model checking for detection of sport highlights
Automatic semantic annotation of sports video requires that the domain knowledge is properly included and exploited in the annotation process and that low and intermediate-level f...
Marco Bertini, Alberto Del Bimbo, Walter Nunziati
APCCM
2008
15 years 5 months ago
Constraint Acquisition - You Can Chase but You Cannot Find
We identify established tableaux techniques as an invaluable tool for semantic knowledge acquisition in the design process of relational databases. Sample databases allow users an...
Sven Hartmann, Sebastian Link, Thu Trinh
LREC
2008
132views Education» more  LREC 2008»
15 years 5 months ago
Complete and Consistent Annotation of WordNet using the Top Concept Ontology
This paper presents the complete and consistent ontological annotation of the nominal part of WordNet. The annotation has been carried out using the semantic features defined in t...
Javier Álvez, Jordi Atserias, Jordi Carrera...