850 search results - page 111 / 170 » A Logic Programming Language Based on Binding Algebras |
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
139
click to vote
ENTCS
2002
15 years 1 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
100
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: High density oligonucleotide tiling arrays are an effective and powerful platform for conducting unbiased genome-wide studies. The ab initio probe selection method emp...
130
click to vote
FAC
2010
14 years 10 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
106
click to vote
EUROPAR
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...