1738 search results - page 177 / 348 » Local Consistency and SAT-Solvers |
171
click to vote
COMPLIFE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We describe an approach to clustering the yeast protein-protein interaction network in order to identify functional modules, groups of proteins forming multi-protein comp...
162
click to vote
EMMCVPR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper exposes a novel formulation of prior shape constraint incorporation for the level set segmentation of objects from corrupted images. Applicable to variational ...
154
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
167
click to vote
SDMW
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present our authorization framework that supports the dynamic set-up of Web service federations for sharing data within virtual federations. Building on previous w...
128
click to vote
IMC
2004
ACM
15 years 11 months ago
2004
ACM
Conducting an Internet measurement study in a sound fashion can be much more difficult than it might first appear. We present a number of strategies drawn from experiences for a...