2555 search results - page 157 / 511 » Quantifiers and Working Memory |
86
Voted
WSC
1998
15 years 5 months ago
1998
In this work we report the results of a discrete time simulation model that we developed for an equipment rental business to study the impact of business decisions. The whole tool...
137
Voted
ACL
1989
15 years 4 months ago
1989
This paper addresses issues that arose in applying the model for discourse entity (DE) generation in B. Webber's work (1978, 1983) to an interactive multimodal interface. Her...
99
Voted
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
Interactive interpolating crossover allows a user to quickly see a large number of individuals formed by interactively-controlled interpolation between two or more parents. We stud...
143
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
110
Voted
ENTCS
2008
15 years 3 months ago
2008
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...