12459 search results - page 371 / 2492 » cans 2006 |
204
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We address the problem of classification of EEG recordings for the detection of epileptic seizures. We assume that the EEG measurements can be described by a low dimensional manif...
140
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We present Visual Resonator (VR), an auditory interface that promises to provide an interactive realization of the Cocktail Party Phenomenon. The wearer of this interface can hear...
188
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
214
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
Ontology languages to represent ontologies exist in large numbers, and users who want to access or reuse ontologies can often be confronted with a language they do not know. Theref...
170
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper discusses an automated method to build scan chains at the register-transfer level (RTL) for powerconstrained at-speed testing. By analyzing a circuit at the RTL, where ...