Sciweavers

2620 search results - page 279 / 524
» An Evaluation Technique for Binarization Algorithms
Sort
View
ICMCS
2005
IEEE
68views Multimedia» more  ICMCS 2005»
16 years 10 days ago
Playing speech backwards for classification tasks
START SPEEDUP FACTOR [C] FASTER BACKWARDS REPLAY VIA TIME COMPRESSION JUMP WIDTH s j SEGMENT LENGTH s l FASTER BACKWARDS REPLAY VIA SEGMENT DROPPING MODIFIED BACKWARDS REPLAY [B] ...
Wolfgang Hürst, Tobias Lauer, Cedric Bür...
ICMCS
2005
IEEE
221views Multimedia» more  ICMCS 2005»
16 years 10 days ago
A Multiple Instance Learning Approach for Content Based Image Retrieval Using One-Class Support Vector Machine
Multiple Instance Learning (MIL) is a special kind of supervised learning problem that has been studied actively in recent years. In this paper, we propose an approach based on On...
Chengcui Zhang, Xin Chen, Min Chen, Shu-Ching Chen...
UIST
2005
ACM
16 years 8 days ago
Preference elicitation for interface optimization
Decision-theoretic optimization is becoming a popular tool in the user interface community, but creating accurate cost (or utility) functions has become a bottleneck — in most c...
Krzysztof Gajos, Daniel S. Weld
GRID
2005
Springer
16 years 7 days ago
Highly latency tolerant Gaussian elimination
Large latencies over WAN will remain an obstacle to running communication intensive parallel applications on Grid environments. This paper takes one of such applications, Gaussian...
Toshio Endo, Kenjiro Taura
SAT
2005
Springer
123views Hardware» more  SAT 2005»
16 years 6 days ago
Bounded Model Checking with QBF
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
Nachum Dershowitz, Ziyad Hanna, Jacob Katz