1737 search results - page 8 / 348 » On Interpolation in Existence Logics |
CAV
2012
Springer
11 years 9 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
Most of the existing image interpolation schemes assume that the image is noise free. This assumption is invalid in practice because noise will be corrupted in the image acquisiti...
SYNTHESE
2008
13 years 7 months ago
2008
The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the "stru...
ACL
2009
13 years 5 months ago
2009
We present a new approach to learning a semantic parser (a system that maps natural language sentences into logical form). Unlike previous methods, it exploits an existing syntact...
FOIKS
2010
Springer
13 years 10 months ago
2010
Springer
Armstrong databases are a popular tool in example-based database design. An Armstrong database for a given constraint set from a fixed constraint class Z satisfies precisely those ...