Sciweavers

537 search results - page 24 / 108
» A Theory of Inferred Causation
Sort
View
152
Voted
AI
1999
Springer
15 years 5 months ago
Topological Inference of Teleology: Deriving Function from Structure via Evidential Reasoning
Reasoning about the physical world is a central human cognitive activity. One aspect of such reasoning is the inference of function from the structure of the artifacts one encount...
John O. Everett
POPL
2006
ACM
16 years 6 months ago
Stratified type inference for generalized algebraic data types
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
François Pottier, Yann Régis-Gianas
ICFP
2006
ACM
16 years 6 months ago
Simple unification-based type inference for GADTs
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
Simon L. Peyton Jones, Dimitrios Vytiniotis, Steph...
NN
2002
Springer
137views Neural Networks» more  NN 2002»
15 years 5 months ago
Acetylcholine in cortical inference
Acetylcholine (ACh) plays an important role in a wide variety of cognitive tasks, such as perception, selective attention, associative learning, and memory. Extensive experimental...
Angela J. Yu, Peter Dayan
SIGIR
2002
ACM
15 years 5 months ago
Video retrieval using an MPEG-7 based inference network
This work proposes a model for video retrieval based upon the inference network model. The document network is constructed using video metadata encoded using MPEG-7 and captures i...
Andrew Graves, Mounia Lalmas