Sciweavers

1143 search results - page 90 / 229
» Mental models of recursion
Sort
View
AMC
2006
117views more  AMC 2006»
13 years 9 months ago
The case for hypercomputation
The weight of evidence supporting the case for hypercomputation is compelling. We examine some 20 physical and mathematical models of computation that are either known or suspecte...
Mike Stannett
CIE
2005
Springer
14 years 2 months ago
Computing a Model of Set Theory
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. The general...
Peter Koepke
IPMU
2010
Springer
14 years 2 months ago
Extracting and Modelling Preferences from Dialogue
Abstract. Dialogue moves influence and are influenced by the agents’ preferences. We propose a method for modelling this interaction. We motivate and describe a recursive metho...
Nicholas Asher, Elise Bonzon, Alex Lascarides
ICASSP
2011
IEEE
13 years 29 days ago
Identification of ARMA models using intermittent and quantized output observations
This paper studies system identification of ARMA models whose outputs are subject to finite-level quantization and random packet dropouts. A simple adaptive quantizer and the co...
Damián Marelli, Keyou You, Minyue Fu
MOC
2000
137views more  MOC 2000»
13 years 9 months ago
The apolar bilinear form in geometric modeling
Some recent methods of Computer Aided Geometric Design are related to the apolar bilinear form, an inner product on the space of homogeneous multivariate polynomials of a fixed deg...
Gert Vegter