4592 search results - page 35 / 919 » Framework for Studying Substitution |
FORMATS
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
DALT
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...
ICISP
2010
Springer
13 years 6 months ago
2010
Springer
This paper deals with the problem of multispectral image compression. In particular, we propose to substitute the built-in JPEG 2000 wavelet transform by an adequate multiresoluti...
PRL
2002
13 years 7 months ago
2002
Missing data handling is an important preparation step for most data discrimination or mining tasks. Inappropriate treatment of missing data may cause large errors or false result...
BMVC
2010
13 years 5 months ago
2010
The Active Appearance Model (AAM) provides an efficient method for localizing objects that vary in both shape and texture, and uses a linear regressor to predict updates to model ...