4126 search results - page 342 / 826 » Set based logic programming |
129
click to vote
FSS
2002
15 years 4 months ago
2002
In this work we study approximation of fuzzy functions on a finite set of distinct points. Two types of approximation are considered, one method based on fuzzy linear programming p...
148
click to vote
PADL
2005
Springer
15 years 10 months ago
2005
Springer
In this article we investigate a novel execution paradigm—ML-like pattern-matching— for XML query processing. We show that such a paradigm is well adapted for a common and freq...
172
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
134
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
163
click to vote
IPM
2002
15 years 4 months ago
2002
This paper proposes a new approach for classifying text documents into two disjoint classes. The new approach is based on extracting patterns, in the form of two logical expressio...