551 search results - page 110 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
BIBM
2007
IEEE
14 years 18 days ago
2007
IEEE
In this paper, we present an algorithm to simultaneously align three biological sequences with affine gap model and infer their common ancestral sequence. Our algorithm can be fu...
TREC
2008
13 years 7 months ago
2008
In the TREC 2008, the team from the State University of New York at Buffalo participated in the Legal track and the Blog track. For the Legal track, we worked on the interactive s...
MIDDLEWARE
2007
Springer
14 years 12 days ago
2007
Springer
In this paper we consider the problem of maximising utility in linked market-driven distributed and Grid systems. In such systems, users submit jobs through brokers who can virtua...
DATE
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...
CLEF
2006
Springer
13 years 10 months ago
2006
Springer
We here describe the subword approach we used in the 2006 ImageCLEF Medical Image Retrieval task. It is based on the assupmtion that neither fully inflected nor automatically stem...