9370 search results - page 188 / 1874 » An Abstract Notion of Application |
137
click to vote
MLQ
1998
15 years 6 months ago
1998
In 1990, J.L. Krivine introduced the notion of storage operator to simulate, for Church integers, the “call by value” in a context of a “call by name” strategy. In this pre...
153
click to vote
FCSC
2010
15 years 5 months ago
2010
Quotients and factors are important notions in the design of various computational procedures for regular languages and for the analysis of their logical properties. We propose a n...
151
click to vote
DEBU
2010
15 years 4 months ago
2010
Provenance is often used to validate data, by verifying its origin and explaining its derivation. When searching for "causes" of tuples in the query results or in genera...
195
click to vote
FOCM
2011
15 years 1 months ago
2011
We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system havi...
163
click to vote
JMLR
2010
15 years 1 months ago
2010
The paper analyzes peculiarities of preprocessing of learning data represented in object data bases constituted by multiple relational tables with ontology on top of it. Exactly s...