4814 search results - page 567 / 963 » Combining abstract interpreters |
133
click to vote
COSIT
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
160
click to vote
CPAIOR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Recently, new cost-based filtering algorithms for shorter-path constraints have been developed. However, so far only the theoretical properties of shorter-path constrain...
193
click to vote
CPAIOR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
189
Voted
CPM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The Knuth-Morris-Pratt (KMP) pattern-matching algorithm guarantees both independence from alphabet size and worst-case execution time linear in the pattern length; on the...
182
click to vote
CPM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The efficiency of regular expression matching algorithms depends very much on the size of the nondeterministic finite automata (NFA) obtained from regular expressions. R...