3333 search results - page 312 / 667 » Abstract Proof Search |
183
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
182
click to vote
ICIAP
2005
ACM
16 years 6 months ago
2005
ACM
Abstract. This paper presents an optimisation technique to select automatically a set of control parameters for a Markov Random Field applied to stereo matching. The method is base...
153
click to vote
ESA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We evaluate the performance of FPT algorithms for the directed feedback vertex set problem (DFVS). We propose several new data reduction rules for DFVS. which can signi...
162
click to vote
EUROCAST
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this work we consider the application of metaheuristic algorithms to the problem of fitting rectangular signals to time-data series. The application background is to ...
182
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...