Sciweavers

1210 search results - page 121 / 242
» Newton's method and its use in optimization
Sort
View
JMLR
2011
117views more  JMLR 2011»
14 years 8 months ago
Parameter Screening and Optimisation for ILP using Designed Experiments
Reports of experiments conducted with an Inductive Logic Programming system rarely describe how specific values of parameters of the system are arrived at when constructing model...
Ashwin Srinivasan, Ganesh Ramakrishnan
EUROPAR
2009
Springer
14 years 11 months ago
A Parallel Point Matching Algorithm for Landmark Based Image Registration Using Multicore Platform
Abstract. Point matching is crucial for many computer vision applications. Establishing the correspondence between a large number of data points is a computationally intensive proc...
Lin Yang, Leiguang Gong, Hong Zhang, John L. Noshe...
123
Voted
SADM
2010
128views more  SADM 2010»
15 years 6 days ago
Online training on a budget of support vector machines using twin prototypes
: This paper proposes twin prototype support vector machine (TVM), a constant space and sublinear time support vector machine (SVM) algorithm for online learning. TVM achieves its ...
Zhuang Wang, Slobodan Vucetic
132
Voted
FM
2008
Springer
192views Formal Methods» more  FM 2008»
15 years 3 months ago
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
Anna Zaks, Amir Pnueli
ICRA
2009
IEEE
143views Robotics» more  ICRA 2009»
15 years 8 months ago
Revisiting uncertainty analysis for optimum planes extracted from 3D range sensor point-clouds
—In this work, we utilize a recently studied more accurate range noise model for 3D sensors to derive from scratch the expressions for the optimum plane which best fits a point-...
Kaustubh Pathak, Narunas Vaskevicius, Andreas Birk...