9719 search results - page 1495 / 1944 » Answer Set Optimization |
225
click to vote
FM
2008
Springer
15 years 9 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...
266
click to vote
DAIS
2006
15 years 9 months ago
2006
This paper shows how to build a scalable, robust and efficient distributed Internet-scale RDF repository, that we name PAGE (Put And Get Everywhere). 1 Motivation In the recent yea...
223
click to vote
BMCBI
2010
2010
Orientation-dependent backbone-only residue pair scoring functions for fixed backbone protein design
15 years 7 months ago
Background: Empirical scoring functions have proven useful in protein structure modeling. Most such scoring functions depend on protein side chain conformations. However, backbone...
228
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Existing hidden Markov model decoding algorithms do not focus on approximately identifying the sequence feature boundaries. Results: We give a set of algorithms to com...
189
click to vote
CN
2008
15 years 7 months ago
2008
In large peer-to-peer (P2P) overlay networks, nodes usually share resources to support all kinds of applications. In such networks, a subset of the nodes may assume the role of br...