2377 search results - page 210 / 476 » Hybrid Systems in TLA |
158
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...
154
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...
185
click to vote
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 ...
177
click to vote
CARS
2004
15 years 8 months ago
2004
In this paper, we present a hybrid method for calibration of an endoscope and its registration with an active optical tracker. Practically, both operations are done simultaneously...
157
click to vote
MASCOTS
2004
15 years 8 months ago
2004
This paper uses trace-driven simulations to evaluate two novel Web server scheduling policies called KSRPT and T-SRPT. K-SRPT is a multi-threaded version of SRPT (Shortest Remaini...