635 search results - page 109 / 127 » Towards the formalization of interaction semantics |
WADT
1999
Springer
15 years 1 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
86
Voted
CSL
2009
Springer
15 years 4 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
SOFSEM
2009
Springer
15 years 2 months ago
2009
Springer
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
106
click to vote
MLDM
2001
Springer
15 years 1 months ago
2001
Springer
: Despite the efforts to reduce the semantic gap between user perception of similarity and featurebased representation of images, user interaction is essential to improve retrieval...
75
Voted
LRE
2006
14 years 9 months ago
2006
When building a new spoken dialogue application, large amounts of domain specific data are required. This paper addresses the issue of generating in-domain training data when litt...