Sciweavers

500 search results - page 42 / 100
» Procedure Placement Using Temporal Ordering Information
Sort
View
ATVA
2009
Springer
173views Hardware» more  ATVA 2009»
14 years 3 months ago
Solving Parity Games in Practice
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
Oliver Friedmann, Martin Lange
PTS
2007
102views Hardware» more  PTS 2007»
13 years 10 months ago
Testing and Model-Checking Techniques for Diagnosis
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
Maxim Gromov, Tim A. C. Willemse
ICIP
2003
IEEE
14 years 10 months ago
Sparse-parametric writer identification using heterogeneous feature groups
This paper evaluates the performance of edge-based directional probability distributions as features in writer identification in comparison to a number of non-angular features. It...
Lambert Schomaker, Marius Bulacu, Merijn van Erp
ICCV
1999
IEEE
14 years 10 months ago
Semantic Organization of Scenes using Discriminant Structural Templates
In this paper, we present a procedure for organizing real world scenes along semantic axes. The approach is based on the output energies of linear discriminant filters that take i...
Antonio B. Torralba, Aude Oliva
ICANN
2009
Springer
14 years 17 days ago
Profiling of Mass Spectrometry Data for Ovarian Cancer Detection Using Negative Correlation Learning
This paper proposes a novel Mass Spectrometry data profiling method for ovarian cancer detection based on negative correlation learning (NCL). A modified Smoothed Nonlinear Energy ...
Shan He, Huanhuan Chen, Xiaoli Li, Xin Yao