2766 search results - page 239 / 554 » Hybridizing a Logical Framework |
176
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a novel framework for intelligent search and retrieval by image content composition. Very different from the existing Query-by-Example paradigm, logical queries are exp...
197
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
153
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
158
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
157
click to vote
TAMC
2009
Springer
16 years 1 months ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...