2139 search results - page 298 / 428 » Connecting language to the world |
148
click to vote
ENTCS
2006
15 years 6 months ago
2006
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
153
click to vote
ITA
2006
15 years 6 months ago
2006
In this work we study some probabilistic models for the random generation of words over a given alphabet used in the literature in connection with pattern statistics. Our goal is t...
152
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Quine introduced a famous distinction between the `notional' sense and the `relational' sense of certain attitude verbs. The distinction is both intuitive and sound but i...
169
click to vote
TCS
2008
15 years 6 months ago
2008
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...