107 search results - page 8 / 22 » Model Based Functional Testing Using Pattern Directed Filmst... |
BMCBI
2008
14 years 9 months ago
2008
Background: Comparative prediction of RNA structures can be used to identify functional noncoding RNAs in genomic screens. It was shown recently by Babak et al. [BMC Bioinformatic...
101
click to vote
ICCAD
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
107
click to vote
SSDBM
2010
IEEE
15 years 2 months ago
2010
IEEE
Similarity search and data mining often rely on distance or similarity functions in order to provide meaningful results and semantically meaningful patterns. However, standard dist...
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
Accurate prediction of operator execution time is a prerequisite for database query optimization. Although extensively studied for conventional disk-based DBMSs, cost modeling in ...
CAISE
2004
Springer
15 years 2 months ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...