3552 search results - page 340 / 711 » Proof theory in the abstract |
158
click to vote
ISAAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The theory of multidimensional persistence captures the topology of a multifiltration – a multiparameter family of increasing spaces. Multifiltrations arise naturally...
153
click to vote
SSDBM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. We present novel space and time-efficient algorithms for finding frequent items over general update streams. Our algorithms are based on a novel adaptation of the popula...
191
click to vote
ICIC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper, a general framework of quantum-inspired multiobjective evolutionary algorithms is proposed based on the basic principles of quantum computing and general s...
148
click to vote
CIE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
169
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...