2806 search results - page 136 / 562 » BML and Related Tools |
213
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: With the continued development of new computational tools for multiple sequence alignment, it is necessary today to develop benchmarks that aid the selection of the mo...
162
Voted
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for popul...
187
Voted
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Concept location techniques are designed to help isolate sections of source code that relate to specific concepts. Blind Signal Separation techniques like Singular Value Decompos...
163
Voted
FROCOS
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
179
Voted
ECBS
2003
IEEE
16 years 7 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...