814 search results - page 74 / 163 » Generic Model Abstraction from Examples |
135
click to vote
ENTCS
2010
15 years 18 days ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
136
click to vote
DAGSTUHL
2009
15 years 4 months ago
2009
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
110
click to vote
ACISP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Digital signatures are often proven to be secure in the random oracle model while hash functions deviate more and more from this idealization. Liskov proposed to model a ...
120
click to vote
SSPR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Statistical analysis of spatially uniform signal contexts allows Discrete Universal Denoiser (DUDE) to effectively correct signal errors caused by a discrete symmetric me...
115
click to vote
IEAAIE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Configuration is the process of composing a system from a set of components such that the system fulfills a set of desired demands. The configuration process relies on a ...