Sciweavers

2007 search results - page 207 / 402
» SPECTRUM
Sort
View
MICRO
1992
IEEE
128views Hardware» more  MICRO 1992»
15 years 8 months ago
MISC: a Multiple Instruction Stream Computer
This paper describes a single chip Multiple Instruction Stream Computer (MISC) capable of extracting instruction level parallelism from a broad spectrum of programs. The MISC arch...
Gary S. Tyson, Matthew K. Farrens, Andrew R. Plesz...
CAV
2007
Springer
114views Hardware» more  CAV 2007»
15 years 8 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
DAWAK
2007
Springer
15 years 8 months ago
Mining First-Order Temporal Interval Patterns with Regular Expression Constraints
Most methods for temporal pattern mining assume that time is represented by points in a straight line starting at some initial instant. In this paper, we consider a new kind of fir...
Sandra de Amo, Arnaud Giacometti, Waldecir Pereira...
ICANN
2007
Springer
15 years 8 months ago
Classifying EEG Data into Different Memory Loads Across Subjects
Abstract. In this paper we consider the question of whether it is possible to classify n-back EEG data into different memory loads across subjects. To capture relevant information ...
Liang Wu, Predrag Neskovic
ICB
2007
Springer
142views Biometrics» more  ICB 2007»
15 years 8 months ago
Speaker Verification with Adaptive Spectral Subband Centroids
Abstract. Spectral subband centroids (SSC) have been used as an additional feature to cepstral coefficients in speech and speaker recognition. SSCs are computed as the centroid fre...
Tomi Kinnunen, Bingjun Zhang, Jia Zhu, Ye Wang