6047 search results - page 249 / 1210 » Modeling with Extend |
170
click to vote
ICDT
2012
ACM
13 years 6 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
140
click to vote
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...
106
click to vote
CONTEXT
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The basic Event Calculus is extended by a Calculus of Narrative Context, to allow for reasoning about counterfactuals. Different hypothetical courses of events are disti...
143
click to vote
EUSFLAT
2001
15 years 5 months ago
2001
The aim of this paper is to give a.sketch of a foundation of statistical analysis with fuzzy data, extending the methodology of Mathematical Stat,istics. For t.hispurpose it will ...
136
click to vote
WSC
1997
15 years 5 months ago
1997
An investigation is underway regarding technologies to support the design, development and use of distributed, web-based simulations. As part of this investigation the Simjava sim...