1737 search results - page 8 / 348 » On Interpolation in Existence Logics |
101
Voted
CAV
2012
Springer
12 years 12 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
15 years 11 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...
86
Voted
SYNTHESE
2008
14 years 9 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...
92
Voted
ACL
2009
14 years 7 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...
77
Voted
FOIKS
2010
Springer
15 years 25 days 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 ...