204 search results - page 19 / 41 » Parameterizations of Test Cover with Bounded Test Sizes |
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
FSTTCS
2009
Springer
15 years 5 months ago
2009
Springer
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
168
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
JMLR
2002
14 years 10 months ago
2002
Approximate Bayesian Gaussian process (GP) classification techniques are powerful nonparametric learning methods, similar in appearance and performance to support vector machines....
CVPR
2004
IEEE
16 years 17 days ago
2004
IEEE
The Bounded Hough Transform is introduced to track objects in a sequence of sparse range images. The method is based upon a variation of the General Hough Transform that exploits ...