Sciweavers

1491 search results - page 202 / 299
» Training Linear Discriminant Analysis in Linear Time
Sort
View
ICRA
2008
IEEE
157views Robotics» more  ICRA 2008»
14 years 3 months ago
Analysis and improvement of the consistency of extended Kalman filter based SLAM
Abstract— In this work, we study the inconsistency of EKFbased SLAM from the perspective of observability. We analytically prove that when the Jacobians of the state and measurem...
Guoquan Huang, Anastasios I. Mourikis, Stergios I....
BPM
2007
Springer
201views Business» more  BPM 2007»
14 years 3 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
ESOP
2007
Springer
14 years 3 months ago
Static Analysis by Policy Iteration on Relational Domains
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah...
GLVLSI
2009
IEEE
172views VLSI» more  GLVLSI 2009»
14 years 24 days ago
Contact merging algorithm for efficient substrate noise analysis in large scale circuits
A methodology is proposed to efficiently estimate the substrate noise generated by large scale aggressor circuits. Small spatial voltage differences within the ground distribution...
Emre Salman, Renatas Jakushokas, Eby G. Friedman, ...
CORR
2008
Springer
78views Education» more  CORR 2008»
13 years 9 months ago
Distributed Beamforming with Feedback: Convergence Analysis
The focus of this work is on the analysis of transmit beamforming schemes with a low-rate feedback link in wireless sensor/relay networks, where nodes in the network need to imple...
Che Lin, Venugopal V. Veeravalli, Sean P. Meyn