Sciweavers

6014 search results - page 399 / 1203
» Structural Testing with Use Cases
Sort
View
JMLR
2012
13 years 8 months ago
A Simple Geometric Interpretation of SVM using Stochastic Adversaries
We present a minimax framework for classification that considers stochastic adversarial perturbations to the training data. We show that for binary classification it is equivale...
Roi Livni, Koby Crammer, Amir Globerson
ICIP
2007
IEEE
16 years 7 months ago
Globally Optimal Multimodal Rigid Registration: An Analytic Solution using Edge Information
Current multimodal registration methods almost always rely on local gradient-descent type optimization strategies. Such registration methods often converge to an incorrect local o...
Jeff Orchard
DAC
2000
ACM
16 years 7 months ago
Symbolic timing simulation using cluster scheduling
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...
Clayton B. McDonald, Randal E. Bryant
IPPS
2009
IEEE
16 years 24 days ago
Early experiences on accelerating Dijkstra's algorithm using transactional memory
In this paper we use Dijkstra’s algorithm as a challenging, hard to parallelize paradigm to test the efficacy of several parallelization techniques in a multicore architecture....
Nikos Anastopoulos, Konstantinos Nikas, Georgios I...
EUROGP
2007
Springer
164views Optimization» more  EUROGP 2007»
16 years 9 days ago
The Induction of Finite Transducers Using Genetic Programming
This paper reports on the results of a preliminary study conducted to evaluate genetic programming (GP) as a means of evolving finite state transducers. A genetic programming syste...
Amashini Naidoo, Nelishia Pillay