61 search results - page 1 / 13 » Comprehension of Simple Quantifiers: Empirical Evaluation of... |
COGSCI
2010
13 years 5 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
13 years 11 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
13 years 7 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
13 years 9 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
13 years 8 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 ...