61 search results - page 1 / 13 » Comprehension of Simple Quantifiers: Empirical Evaluation of... |
COGSCI
2010
13 years 11 months ago
2010
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...
QEST
2009
IEEE
14 years 5 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
AVI
2008
14 years 1 months ago
2008
Many critical decisions for individuals and organizations are often framed as preferential choices: the process of selecting the best option out of a set of alternatives. This pap...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—The growing popularity of social media in recent years has resulted in the creation of an enormous amount of user-developed content. While information is readily available, ther...
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
We construct, analyze and solve models of systems where a number of servers offer services to an incoming stream of demands. Each server goes through alternating periods of being ...