3837 search results - page 290 / 768 » Learning Approximate Consistencies |
184
click to vote
LICS
2003
IEEE
16 years 17 days ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
223
click to vote
ECCV
2010
Springer
16 years 8 days ago
2010
Springer
As it has been noted several times in literature, the difficult part of autocalibration efforts resides in the structural non-linearity of the search for the plane at infinity. I...
185
click to vote
VISUALIZATION
1996
IEEE
15 years 11 months ago
1996
IEEE
In many cases the surfaces of geometric models consist of a large number of triangles. Several algorithms were developed to reduce the number of triangles required to approximate ...
194
click to vote
AGP
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
180
click to vote
SIGECOM
2008
ACM
15 years 7 months ago
2008
ACM
We consider the problem of query rewrites in the context of keyword advertisement. Given a three-layer graph consisting of queries, query rewrites, and the corresponding ads that ...