Sciweavers

1717 search results - page 16 / 344
» A Computable Spectral Theorem
Sort
View
130
Voted
DIS
2007
Springer
15 years 9 months ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton
100
Voted
IJBC
2007
86views more  IJBC 2007»
15 years 3 months ago
Optimization and the Miranda Approach in Detecting Horseshoe-Type Chaos by Computer
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...
Balázs Bánhelyi, Tibor Csendes, Barn...
115
Voted
ALIFE
2007
15 years 3 months ago
Computational Realizations of Living Systems
Robert Rosen’s central theorem states that organisms are fundamentally different to machines, mainly because they are ‘‘closed with respect to effcient causation.’’ The p...
Dominique Chu, Weng Kin Ho
135
Voted
SIGACT
2008
103views more  SIGACT 2008»
15 years 3 months ago
Computational geometry column 50
Two long-open problems have been solved: (1) every sufficiently large planar point set in general position contains the vertices of an empty hexagon; (2) every finite collection o...
Joseph O'Rourke
138
Voted
CCECE
2006
IEEE
15 years 9 months ago
Vector Concepts-Based Spectral Modelling
This paper presents a unique spectral modelling approach suitable for digital camera image processing. The proposed vector model combines both the magnitude and directional charac...
Rastislav Lukac, Konstantinos N. Plataniotis