1650 search results - page 59 / 330 » How to Turn the Page |
COSIT
1999
Springer
15 years 2 months ago
1999
Springer
Route directions are instructions, primarily verbal, that explain how to get from one place to another. The current study examines several methods for assessing the quality of verb...
APCCM
2009
14 years 11 months ago
2009
Database Semantics (DBS) is a computational model of how communicating with natural language works. at a level of abstraction which may be applied to natural and artificial agents...
AMAI
2006
Springer
14 years 9 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
NN
2007
Springer
14 years 9 months ago
2007
Springer
A network with a logistic-like local dynamics is considered. We implement a mean-field multiplicative coupling among first-neighbor nodes. When the coupling parameter is small, ...
TLCA
2009
Springer
15 years 4 months ago
2009
Springer
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...