224 search results - page 2 / 45 » A Process-Oriented Heuristic for Model Selection |
72
Voted
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
ACL
2012
13 years 20 days ago
2012
We describe the use of a hierarchical topic model for automatically identifying syntactic and lexical patterns that explicitly state ontological relations. We leverage distant sup...
WSC
2001
14 years 11 months ago
2001
As the semiconductor industry moves into the next millennium, companies increasingly will be faced with production obstacles that impede their ability to remain competitive. Effec...
IJCNN
2006
IEEE
15 years 4 months ago
2006
IEEE
— A heuristic is proposed to address free parameter selection for Support Vector Machines, with the goals of improving generalization performance and providing greater insensitiv...
101
Voted
CCE
2010
14 years 7 months ago
2010
In this work we address the problem of solving multiscenario optimization models that are deterministic equivalents of two-stage stochastic programs. We present a heuristic approx...