Sciweavers

3113 search results - page 243 / 623
» Numerical Methods
Sort
View
ECML
2003
Springer
15 years 11 months ago
Logistic Model Trees
Abstract. Tree induction methods and linear models are popular techniques for supervised learning tasks, both for the prediction of nominal classes and continuous numeric values. F...
Niels Landwehr, Mark Hall, Eibe Frank
ICCAD
2002
IEEE
126views Hardware» more  ICCAD 2002»
15 years 11 months ago
Robust and passive model order reduction for circuits containing susceptance elements
Numerous approaches have been proposed to address the overwhelming modeling problems that result from the emergence of magnetic coupling as a dominant performance factor for ICs a...
Hui Zheng, Lawrence T. Pileggi
RC
2002
72views more  RC 2002»
15 years 6 months ago
Symbolic Preconditioning with Taylor Models: Some Examples
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
R. Baker Kearfott, G. William Walster
TIP
2002
126views more  TIP 2002»
15 years 6 months ago
Template matching based object recognition with unknown geometric parameters
In this paper, we examine the problem of locating an object in an image when size and rotation are unknown. Previous work has shown that with known geometric parameters, an image r...
Roger M. Dufour, Eric L. Miller, Nikolas P. Galats...
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
15 years 4 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki