6045 search results - page 187 / 1209 » Computable Linearizations of Well-partial-orderings |
CAV
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
SIAMJO
2008
13 years 8 months ago
2008
This paper presents a parameter-free integer-programming based algorithm for the global resolution of a linear program with linear complementarity constraints (LPCC). The cornersto...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typic...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
In recent work, several supervised spectral embedding procedures have been proposed. Although experimentally validated, the construction of these algorithms was rather ad hoc. Thi...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper presents a new background light intensity normalization algorithm suitable for historical document images. The algorithm uses an adaptive linear function to approximate...