4767 search results - page 523 / 954 » Structures for Abstract Rewriting |
262
click to vote
VLSID
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
216
click to vote
RECOMB
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. A probabilistic graphical model is developed in order to detect the dependent evolution between different sites in biological sequences. Given a multiple sequence alignme...
193
click to vote
RECOMB
2005
Springer
16 years 8 months ago
2005
Springer
Abstract. There is widespread interest in comparative genomics in determining if historically and/or functionally related genes are spatially clustered in the genome, and whether t...
187
click to vote
CADE
2008
Springer
16 years 8 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
170
click to vote
CADE
2007
Springer
16 years 8 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...