Sciweavers

3385 search results - page 11 / 677
» Language, Logic, and the Brain
Sort
View
126
Voted
MICCAI
2010
Springer
15 years 7 days ago
Brain Morphometry by Probabilistic Latent Semantic Analysis
The paper proposes a new shape morphometry approach to combine advanced classification techniques with geometric features in order to identify morphological abnormalities on brain...
Umberto Castellani, Alessandro Perina, Vittorio Mu...
CORR
2008
Springer
102views Education» more  CORR 2008»
15 years 1 months ago
Offloading Cognition onto Cognitive Technology
: "Cognizing" (i.e., thinking, understanding, knowing, and having the capacity to do what cognizers can do) is a mental state. Systems without mental states, such as cogn...
Itiel E. Dror, Stevan Harnad
ESOP
2010
Springer
15 years 11 months ago
A PolyTime Functional Language from Light Linear Logic
Patrick Baillot, Marco Gaboardi and Virgile Mogbil
206
Voted
POPL
2009
ACM
16 years 2 months ago
Classical BI: a logic for reasoning about dualising resources
James Brotherston, Cristiano Calcagno