4961 search results - page 802 / 993 » Homomorphism-Homogeneous Relational Structures |
148
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
178
click to vote
CAISE
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents SHIRI-Querying 3 , an approach for semantic search on semi-structured documents. We propose a solution to tackle incompleteness and imprecision of semantic anno...
118
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
120
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
High-level conditions are well-suited for expressing structural properties. They can describe the precondition and the postcondition for a high-level program, but they cannot descr...
155
click to vote
ICML
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper studies the problem of learning from ambiguous supervision, focusing on the task of learning semantic correspondences. A learning problem is said to be ambiguously supe...