Sciweavers

2620 search results - page 240 / 524
» An Evaluation Technique for Binarization Algorithms
Sort
View
VLDB
2004
ACM
127views Database» more  VLDB 2004»
16 years 7 months ago
Querying high-dimensional data in single-dimensional space
In this paper, we propose a new tunable index scheme, called iMinMax(), that maps points in highdimensional spaces to single-dimensional values determined by their maximum or minim...
Cui Yu, Stéphane Bressan, Beng Chin Ooi, Kian-Lee...
ESSOS
2010
Springer
16 years 3 months ago
Experiences with PDG-Based IFC
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
Christian Hammer
185
Voted
TCAD
2002
107views more  TCAD 2002»
15 years 6 months ago
Value-sensitive automatic code specialization for embedded software
The objective of this work is to create a framework for the optimization of embedded software. We present algorithms and a tool flow to reduce the computational effort of programs,...
Eui-Young Chung, Luca Benini, Giovanni De Micheli,...
ICASSP
2011
IEEE
14 years 10 months ago
Source-normalised-and-weighted LDA for robust speaker recognition using i-vectors
The recently developed i-vector framework for speaker recognition has set a new performance standard in the research field. An i-vector is a compact representation of a speaker u...
Mitchell McLaren, David A. van Leeuwen
ASPDAC
2004
ACM
107views Hardware» more  ASPDAC 2004»
16 years 6 days ago
Minimization of the expected path length in BDDs based on local changes
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
Rüdiger Ebendt, Wolfgang Günther, Rolf D...