Sciweavers

1175 search results - page 92 / 235
» A scalable method for the generation of small test sets
Sort
View
ISMVL
2000
IEEE
124views Hardware» more  ISMVL 2000»
14 years 1 months ago
Silicon Single-Electron Devices and Their Applications
We have developed two novel methods of fabricating very small Si single-electron transistors (SETs), called PAtternDependent OXidation (PADOX) and Vertical PAttern-Dependent OXida...
Yasuo Takahashi, Akira Fujiwara, Yukinori Ono, Kat...
SIGIR
2006
ACM
14 years 3 months ago
A statistical method for system evaluation using incomplete judgments
We consider the problem of large-scale retrieval evaluation, and we propose a statistical method for evaluating retrieval systems using incomplete judgments. Unlike existing techn...
Javed A. Aslam, Virgiliu Pavlu, Emine Yilmaz
CONCUR
2006
Springer
14 years 27 days ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
SIAMSC
2008
147views more  SIAMSC 2008»
13 years 9 months ago
Global and Finite Termination of a Two-Phase Augmented Lagrangian Filter Method for General Quadratic Programs
We present a two-phase algorithm for solving large-scale quadratic programs (QPs). In the first phase, gradient-projection iterations approximately minimize an augmented Lagrangian...
Michael P. Friedlander, Sven Leyffer
SIGKDD
2008
150views more  SIGKDD 2008»
13 years 9 months ago
Learning to improve area-under-FROC for imbalanced medical data classification using an ensemble method
This paper presents our solution for KDD Cup 2008 competition that aims at optimizing the area under ROC for breast cancer detection. We exploited weighted-based classification me...
Hung-Yi Lo, Chun-Min Chang, Tsung-Hsien Chiang, Ch...