Sciweavers

8196 search results - page 113 / 1640
» Computational Modeling and Complexity Science
Sort
View
COGSCI
2010
160views more  COGSCI 2010»
14 years 10 months ago
Comprehension of Simple Quantifiers: Empirical Evaluation of a Computational Model
We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same pr...
Jakub Szymanik, Marcin Zajenkowski
SOFSEM
2001
Springer
15 years 2 months ago
Pipelined Decomposable BSP Computers
The class of weak parallel machines is interesting, because it contains some realistic parallel machine models, especially suitable for pipelined computations. We prove that a modi...
Martin Beran
FOCS
1991
IEEE
15 years 1 months ago
Computing Sums of Radicals in Polynomial Time
For sums of radicals Pk i=1 i di p i, where i; i are elements of some real algebraic number eld Q( ); di p i 2 R; we present a deterministic polynomial time algorithm to decide wh...
Johannes Blömer
ICALP
2009
Springer
15 years 10 months ago
Graph Sparsification in the Semi-streaming Model
Kook Jin Ahn, Sudipto Guha