5066 search results - page 625 / 1014 » Spectra of structures and relations |
164
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
174
Voted
CADE
2010
Springer
15 years 7 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...
204
Voted
CAISE
2010
Springer
15 years 7 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...
143
click to vote
GECCO
2008
Springer
15 years 7 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...
140
click to vote
GG
2008
Springer
15 years 7 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...