7557 search results - page 487 / 1512 » Constraints as a design pattern |
165
click to vote
COMCOM
2000
15 years 7 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
182
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a novel method for the classification of EEG signals during motor-imagery. For motor-imagery based brain computer interface (MI-BCI), a method called common spatial pa...
154
click to vote
MSS
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper provides an analysis of discrimination and prejudices from the perspective of inductive game theory. We extend the festival game, originally given by Kaneko-Matsui, to ...
178
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we introduce a method to partition UNITY system speci cations into software and hardware parts. This method considers di erent design possibilities and de nes cost f...
153
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
Current design automation methodologies are becoming incapable of achieving design closure especially in the presence of deep submicron effects. This paper addresses the issue of ...