2060 search results - page 361 / 412 » The Composition of Event-B Models |
157
click to vote
EMMCVPR
2007
Springer
15 years 10 months ago
2007
Springer
Recognizing humans, estimating their pose and segmenting their body parts are key to high-level image understanding. Because humans are highly articulated, the range of deformation...
134
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
145
click to vote
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Mashups are a new kind of interactive Web application, built out of the composition of two or more existing Web service APIs and data sources. Whereas “pure” mashups are built ...
141
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present a novel general framework for encoding and evolving networks called Common Genetic Encoding (CGE) that can be applied to both direct and indirect...
144
click to vote
KIVS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Secure Content Addressable Network (SCAN) is an architecture for service discovery in service centric sensor networks that enables dynamic service composition. This paper...