Sciweavers

3804 search results - page 478 / 761
» From Here to There
Sort
View
COGSCI
2008
72views more  COGSCI 2008»
15 years 6 months ago
The Tractable Cognition Thesis
The recognition that human minds/brains are finite systems with limited resources for computation has led some researchers to advance the Tractable Cognition thesis: Human cogniti...
Iris van Rooij
CORR
2010
Springer
133views Education» more  CORR 2010»
15 years 6 months ago
Computational efficiency of fractional diffusion using adaptive time step memory
Abstract: Numerical solutions to fractional differential equations can be extremely computationally intensive due to the effect of non-local derivatives in which all previous time ...
Brian P. Sprouse, Christopher L. MacDonald, Gabrie...
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 6 months ago
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
Zachary Snow, David Baelde, Gopalan Nadathur
CORR
2010
Springer
110views Education» more  CORR 2010»
15 years 6 months ago
Detecting communities of triangles in complex networks using spectral optimization
The study of the sub-structure of complex networks is of major importance to relate topology and functionality. Many efforts have been devoted to the analysis of the modular struc...
Belkacem Serrour, Alex Arenas, Sergio Gómez
CORR
2010
Springer
91views Education» more  CORR 2010»
15 years 6 months ago
Fundamental Limits of Wideband Localization - Part II: Cooperative Networks
The availability of positional information is of great importance in many commercial, governmental, and military applications. Localization is commonly accomplished through the use...
Yuan Shen, Henk Wymeersch, Moe Z. Win