13383 search results - page 254 / 2677 » Abstractions from proofs |
164
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
213
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
173
click to vote
ESANN
2004
15 years 8 months ago
2004
Abstract. The problem of the prediction of a critical situation during continuous casting in common steelmaking practice is faced through different traditional soft
179
click to vote
TFS
2008
15 years 6 months ago
2008
Abstract--A new approach to the online classification of streaming data is introduced in this paper. It is based on a selfdeveloping (evolving) fuzzy-rule-based (FRB) classifier sy...
138
click to vote
BC
2000
15 years 6 months ago
2000
Abstract. Stimulus representation is a functional interpretation of early sensory cortices. Early sensory cortices are subject to stimulus-induced modi