9067 search results - page 336 / 1814 » Adaptive Model Checking |
172
click to vote
JMIV
2007
15 years 6 months ago
2007
These last few years, image decomposition algorithms have been proposed to split an image into two parts: the structures and the textures. These algorithms are not adapted to the ...
169
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We propose ParleE, a quantitative, flexible and adaptive model of emotions for a conversational agent in a multi-agent environment capable of multimodal communication. Pa...
175
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
A new approach for selective edge enhancement using unsharp masking is presented. This is based on the premise that biological vision and image reproduction share common principle...
141
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
We present a model of adaptive side-channel attacks which we combine with information-theoretic metrics to quantify the information revealed to an attacker. This allows us to expr...
151
click to vote
ECOOPW
2007
Springer
16 years 26 days ago
2007
Springer
This first edition of the workshop Model-driven Software Adaptation (M-ADAPT’07) took place in the Technische Universit¨at Berlin with the International Conference ECOOP’07 i...