4434 search results - page 354 / 887 » On the Composition of Hybrid Systems |
196
click to vote
ASAP
2000
IEEE
15 years 11 months ago
2000
IEEE
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
190
click to vote
APLAS
2000
ACM
15 years 11 months ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...
165
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a hybrid genetic algorithm for multiple sequence alignment. The algorithm evolves guide sequences and aligns input sequences based on the guide sequences. It a...
157
click to vote
IFIP8
2007
15 years 8 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
192
Voted
IJCAI
2007
15 years 8 months ago
2007
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...