Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

CIE
2005
Springer

favoriteEmaildiscussreport

82views Applied Computing» more CIE 2005»

Towards Computability of Higher Type Continuous Data

13 years 10 months ago

Towards Computability of Higher Type Continuous Data

Download www.brics.dk

Abstract. This paper extends the logical approach to computable analysis via Σ–deﬁnability to higher type continuous data such as functionals and operators. We employ deﬁnability theory to introduce computability of functionals from arbitrary domain to the real numbers. We show how this concept works in particular cases.

Margarita V. Korovina, Oleg V. Kudinov

Real-time Traffic

CIE 2005 | Computable Analysis | Logical Approach | Type Continuous Data |

claim paper

Related Content

» Computability of Continuous Solutions of HigherType Equations

» HOLCF Higher Order Logic of Computable Functions

» Towards the adaptive integration of multiple context reasoners in pervasive computing envi...

» On Continuous Models of Computation Towards Computing the Distance Between Logic Programs

» Higher Dimensional Affine Registration and Vision Applications

» Towards Reliable Data Stream Processing with OSIRISSE

» Towards a practical lipreading system

» Continuous monitoring of topk queries over sliding windows

» Toward Recognition of Short and Nonrepetitive Activities from Wearable Sensors

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CIE
Authors	Margarita V. Korovina, Oleg V. Kudinov

Comments (0)