3742 search results - page 705 / 749 » On the Use of Formal Techniques for Validation |
185
click to vote
SIGCOMM
2012
ACM
13 years 8 months ago
2012
ACM
The Internet was designed to always find a route if there is a policycompliant path. However, in many cases, connectivity is disrupted despite the existence of an underlying vali...
189
click to vote
JMLR
2012
13 years 8 months ago
2012
Grid search and manual search are the most widely used strategies for hyper-parameter optimization. This paper shows empirically and theoretically that randomly chosen trials are ...
180
click to vote
KDD
2012
ACM
13 years 8 months ago
2012
ACM
Building an accurate emerging pattern classifier with a highdimensional dataset is a challenging issue. The problem becomes even more difficult if the whole feature space is unava...
152
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Temporal segmentation of facial gestures in spontaneous facial behavior recorded in real-world settings is an important, unsolved, and relatively unexplored problem in facial imag...
269
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- Current state-of-the-art association rule-based classifiers for gene expression data operate in two phases: (i) Association rule mining from training data followed by (i...