Sciweavers

2139 search results - page 294 / 428
» Modeling Aspect-Oriented Compositions
Sort
View
194
Voted
ACIVS
2005
Springer
16 years 15 days ago
Interactive Object-Based Retrieval Using Relevance Feedback
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...
Sorin Sav, Hyowon Lee, Noel E. O'Connor, Alan F. S...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 14 days ago
Dynamic Component Substitutability Analysis
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...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ICWE
2005
Springer
16 years 14 days ago
Level of Detail Concepts in Data-Intensive Web Applications
Abstract. Current data-intensive Web applications, such as on-line trading, ecommerce, corporate portals and so on, are becoming more and more complex, both in terms of density of ...
Sara Comai
171
Voted
ECAI
2004
Springer
16 years 10 days ago
Avatars That Learn How to Behave
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...
Adam Szarowicz, Paolo Remagnino
ICALP
2004
Springer
16 years 10 days ago
An Analog Characterization of Elementarily Computable Functions over the Real Numbers
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...
Olivier Bournez, Emmanuel Hainry