5314 search results - page 768 / 1063 » Hybrid Dynamic Programming |
169
click to vote
FCT
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
171
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...
170
click to vote
BROADNETS
2006
IEEE
16 years 22 days ago
2006
IEEE
— The nature of Grid and distributed computing implies communication between heterogeneous systems over a wide and ever-changing variety of network environments. Often large amou...
187
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...
184
click to vote
ICPP
2006
IEEE
16 years 21 days ago
2006
IEEE
RNA pseudoknot prediction is an algorithm for RNA sequence search and alignment. An important building block towards pseudoknot prediction is RNA secondary structure prediction. T...