4126 search results - page 729 / 826 » Set based logic programming |
146
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
112
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
Correlation Clustering was defined by Bansal, Blum, and Chawla as the problem of clustering a set of elements based on a possibly inconsistent binary similarity function between e...
136
click to vote
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
103
click to vote
ISMB
1993
15 years 3 months ago
1993
Using a flexible representation of biological sequences, we have performed a comparative analysis of 1208 known tRNA sequences. We believe we our technique is a more sensitive met...
218
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract-- A decomposition of a binary matrix into two matrices gives a set of basis vectors and their appropriate combination to form the original matrix. Such decomposition solut...