4401 search results - page 626 / 881 » Computing with Default Logic |
137
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
135
click to vote
TES
2005
Springer
15 years 10 months ago
2005
Springer
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...
181
click to vote
WILF
2005
Springer
15 years 10 months ago
2005
Springer
Computing methods that allow the efficient and accurate processing of experimentally gathered data play a crucial role in biological research. The aim of this paper is to present a...
144
Voted
CSCLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
155
Voted
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...