Sciweavers

10891 search results - page 333 / 2179
» Combining Model Reductions
Sort
View
ARGMAS
2005
Springer
15 years 10 months ago
Argumentation-Based Multi-agent Dialogues for Deliberation
This paper presents an argumentation-based approach to deliberation, the process by which two or more agents reach a consensus on a course of action. The kind of deliberation that ...
Yuqing Tang, Simon Parsons
144
Voted
ECOOP
1998
Springer
15 years 8 months ago
An Imperative, First-Order Calculus with Object Extension
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
Viviana Bono, Kathleen Fisher
145
Voted
RTSS
1996
IEEE
15 years 8 months ago
Reducing the number of clock variables of timed automata
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks wh...
Conrado Daws, Sergio Yovine
DATE
2004
IEEE
149views Hardware» more  DATE 2004»
15 years 8 months ago
A Logic Level Design Methodology for a Secure DPA Resistant ASIC or FPGA Implementation
This paper describes a novel design methodology to implement a secure DPA resistant crypto processor. The methodology is suitable for integration in a common automated standard ce...
Kris Tiri, Ingrid Verbauwhede
ESANN
2006
15 years 6 months ago
Spatial filters for the classification of event-related potentials
Spatial filtering is a widely used dimension reduction method in electroencephalogram based brain-computer interface systems. In this paper a new algorithm is proposed, which learn...
Ulrich Hoffmann, Jean-Marc Vesin, Touradj Ebrahimi