2509 search results - page 103 / 502 » Abstract Geometrical Computation and Computable Analysis |
82
Voted
ATC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we develop an algorithm that may be used as a stepping-stone detection tool. Our approach is based on analyzing correlations between the cumulative number ...
114
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
130
click to vote
ADCM
2011
14 years 7 months ago
2011
ABSTRACT. In this paper we discuss an abstract iteration scheme for the calculation of the smallest eigenvalue of an elliptic operator eigenvalue problem. A short and geometric pro...
90
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
114
Voted
ICANN
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The growth in amount of data available today has encouraged the development of effective data analysis methods to support human decision-making. Neuro-fuzzy computation ...