Sciweavers

204 search results - page 28 / 41
» Parameterizations of Test Cover with Bounded Test Sizes
Sort
View
FOCS
1998
IEEE
15 years 2 months ago
Unsatisfiable Systems of Equations, Over a Finite Field
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
Alan R. Woods
IPMI
2007
Springer
15 years 11 months ago
Population-Based Fitting of Medial Shape Models with Correspondence Optimization
A crucial problem in statistical shape analysis is establishing the correspondence of shape features across a population. While many solutions are easy to express using boundary re...
Timothy B. Terriberry, James N. Damon, Stephen M. ...
FPGA
1997
ACM
145views FPGA» more  FPGA 1997»
15 years 2 months ago
Generation of Synthetic Sequential Benchmark Circuits
Programmable logic architectures increase in capacity before commercial circuits are designed for them, yielding a distinct problem for FPGA vendors: how to test and evaluate the ...
Michael D. Hutton, Jonathan Rose, Derek G. Corneil
FCT
2005
Springer
15 years 3 months ago
Almost Optimal Explicit Selectors
We understand selection by intersection as distinguishing a single element of a set by the uniqueness of its occurrence in some other set. More precisely, given two sets A and B, i...
Bogdan S. Chlebus, Dariusz R. Kowalski
JMLR
2010
108views more  JMLR 2010»
14 years 5 months ago
Tree Decomposition for Large-Scale SVM Problems
To handle problems created by large data sets, we propose a method that uses a decision tree to decompose a given data space and train SVMs on the decomposed regions. Although the...
Fu Chang, Chien-Yang Guo, Xiao-Rong Lin, Chi-Jen L...