7123 search results - page 300 / 1425 » The Ordered Set of Rough Sets |
159
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Argumentation is considered as an essential element for effective learning since it enables learners to develop their points of view and refine their knowledge. Our aim being to fa...
173
click to vote
AVBPA
2001
Springer
15 years 10 months ago
2001
Springer
We propose a novel approach to face identification and verification based on the Error Correcting Output Coding (ECOC) classifier design concept. In the training phase the client s...
170
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
178
click to vote
TYPES
2000
Springer
15 years 10 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
191
click to vote
MPC
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...