Sciweavers

8196 search results - page 113 / 1640
» Computational Modeling and Complexity Science
Sort
View
COGSCI
2010
160views more  COGSCI 2010»
15 years 6 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 10 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 9 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
16 years 6 months ago
Graph Sparsification in the Semi-streaming Model
Kook Jin Ahn, Sudipto Guha