Sciweavers

8512 search results - page 118 / 1703
» Computing Theory With Relevance
Sort
View
JMLR
2010
92views more  JMLR 2010»
14 years 11 months ago
Posterior distributions are computable from predictive distributions
As we devise more complicated prior distributions, will inference algorithms keep up? We highlight a negative result in computable probability theory by Ackerman, Freer, and Roy (...
Cameron E. Freer, Daniel M. Roy
ASC
2008
15 years 4 months ago
Morphic computing
Morphic Computing is based on Field Theory [14-16] and more specifically Morphic Fields. Morphic Fields were first introduced by [18] from his hypothesis of formative causation tha...
Germano Resconi, Masoud Nikravesh
118
Voted
ITICSE
2006
ACM
15 years 10 months ago
Putting threshold concepts into context in computer science education
This paper describes Threshold Concepts, a theory of learning that distinguishes core concepts whose characteristics can make them troublesome in learning. With an eye to applying...
Anna Eckerdal, Robert McCartney, Jan Erik Mostr&ou...
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 4 months ago
Metric Structures and Probabilistic Computation
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
Wesley Calvert
CIE
2007
Springer
15 years 10 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone