1888 search results - page 115 / 378 » Proof theory and computational analysis |
90
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
The main goal of this paper is to show that pattern recognition techniques can be successfully used in abstract algebra. We introduce a pattern recognition system to recognize wor...
94
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Recent analysis of sequential algorithms resulted in their axiomatization and in a representation theorem stating that, for any sealgorithm, there is an abstract state ma...
138
Voted
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
UC
2009
Springer
15 years 7 months ago
2009
Springer
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...
115
Voted
ICAC
2005
IEEE
15 years 6 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...