7918 search results - page 420 / 1584 » Model Composition Directives |
189
click to vote
ACIVS
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we present an interactive, object-based video retrieval system which features a novel query formulation method that is used to iteratively refine an underlying model...
178
click to vote
FM
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
169
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
It is possible to model avatars that learn to simulate object manipulations and other complex actions. A number of applications may benefit from this technique including safety, e...
163
click to vote
ICALP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
165
click to vote
ASAP
2003
IEEE
16 years 3 days ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...