Sciweavers

2625 search results - page 125 / 525
» Applications 2000
Sort
View
78
Voted
FLAIRS
2000
15 years 5 months ago
The SH-Verification Tool
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
Peter Ochsenschläger, Jürgen Repp, Rolan...
FGR
2000
IEEE
123views Biometrics» more  FGR 2000»
15 years 8 months ago
A Fast and Accurate Face Detector for Indexation of Face Images
Detecting faces in images with complex backgrounds is a difficult task. Our approach, which obtains state of the art results, is based on a generative neural network model: the C...
Raphaël Feraud, Olivier Bernier, Jean-Emmanue...
EJC
2008
15 years 3 months ago
Pooling spaces associated with finite geometry
3 Motivated by the works of Ngo and Du [H. Ngo, D. Du, A survey on combinatorial group testing 4 algorithms with applications to DNA library screening, DIMACS Series in Discrete Ma...
Tayuan Huang, Kaishun Wang, Chih-wen Weng
120
Voted
ISCA
2002
IEEE
127views Hardware» more  ISCA 2002»
15 years 8 months ago
The Optimum Pipeline Depth for a Microprocessor
The impact of pipeline length on the performance of a microprocessor is explored both theoretically and by simulation. An analytical theory is presented that shows two opposing ar...
Allan Hartstein, Thomas R. Puzak
161
Voted
LCR
2000
Springer
186views System Software» more  LCR 2000»
15 years 7 months ago
Adaptive Parallelism for OpenMP Task Parallel Programs
Abstract. We present a system that allows task parallel OpenMP programs to execute on a network of workstations (NOW) with a variable number of nodes. Such adaptivity, generally ca...
Alex Scherer, Thomas R. Gross, Willy Zwaenepoel