Sciweavers

5634 search results - page 314 / 1127
» About Abstract Classes
Sort
View
ERSA
2006
109views Hardware» more  ERSA 2006»
15 years 7 months ago
Synthesis of Object Oriented Models on Reconfigurable Hardware
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
Giovanni Agosta, Francesco Bruschi, Marco D. Santa...
ESANN
2006
15 years 7 months ago
Visual nonlinear discriminant analysis for classifier design
Abstract. We present a new method for analyzing classifiers by visualization, which we call visual nonlinear discriminant analysis. Classifiers that output posterior probabilities ...
Tomoharu Iwata, Kazumi Saito, Naonori Ueda
169
Voted
HCI
2001
15 years 7 months ago
Human-computer protocols
s, covering different levels of abstraction over the information exchanged. As the protocol is layered, we can discuss interaction in terms of different levels of granularity, bett...
David J. Duke, David A. Duce, Philip J. Barnard, J...
AIML
1998
15 years 7 months ago
A Resolution-Based Decision Procedure for Extensions of K4
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer...
JFPLC
2000
15 years 7 months ago
Preuves infinies en Programmation logique
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
Mathieu Jaume