3778 search results - page 652 / 756 » Erdos-Ko-Rado for three sets |
130
click to vote
TASLP
2008
15 years 4 months ago
2008
This work presents an experimental evaluation of different features for use in speaker identification. The features are tested using speech data provided by the CHAINS corpus, in a...
139
click to vote
TCAD
2008
15 years 4 months ago
2008
Embedded systems are constrained by the available memory. Code-compression techniques address this issue by reducing the code size of application programs. It is a major challenge ...
158
click to vote
TCAD
2008
15 years 4 months ago
2008
Soft-error induced reliability problems have become a major challenge in designing new generation microprocessors. Due to the on-chip caches' dominant share in die area and tr...
144
click to vote
TCS
2008
15 years 4 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
154
click to vote
TCS
2008
15 years 4 months ago
2008
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...