4211 search results - page 594 / 843 » Types as Abstract Interpretations |
161
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Users often search for entities instead of documents and in this setting are willing to provide extra input, in addition to a query, such as category information and exam...
186
click to vote
CLA
2007
15 years 8 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
157
click to vote
CLIMA
2007
15 years 8 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
160
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
133
click to vote
ESANN
2007
15 years 8 months ago
2007
Abstract. Our work is concerned with finding optimum connection strategies in highperformance associative memory models. Taking inspiration from axonal branching in biological neur...