857 search results - page 22 / 172 » Compositional Semantics in Verbmobil |
LREC
2008
14 years 11 months ago
2008
This paper presents a corpus-based study of the discourse connective in contrast. The corpus data are drawn from the British National Corpus (BNC) and are analyzed at the levels o...
103
Voted
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
DKE
2007
14 years 9 months ago
2007
The objective of this research work is to look into the role of policies and context in framing the composition of Web services. Context supports the development of adaptable Web ...
IEEESCC
2005
IEEE
15 years 3 months ago
2005
IEEE
Discovering and assembling individual Web services into more complex yet new and more useful Web processes has received significant attention from academia recently. In this thesi...
79
Voted
JLP
2006
14 years 9 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...