Sciweavers

1548 search results - page 219 / 310
» Semantics and Extensions of WS-Agreement
Sort
View
ACL
2010
13 years 8 months ago
Identifying Generic Noun Phrases
This paper presents a supervised approach for identifying generic noun phrases in context. Generic statements express rulelike knowledge about kinds or events. Therefore, their id...
Nils Reiter, Anette Frank
ICAI
2010
13 years 8 months ago
A Programming Environment for Bousi-Prolog
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
Pascual Julián Iranzo, Clemente Rubio-Manza...
CORR
2009
Springer
100views Education» more  CORR 2009»
13 years 7 months ago
Programming Idioms for Transactional Events
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
Matthew Kehrt, Laura Effinger-Dean, Michael Schmit...
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
13 years 7 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
FOMI
2009
13 years 7 months ago
A First-Order Cutting Process Ontology for Sheet Metal Parts
The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper w...
Michael Grüninger, Arnaud Delaval