Sciweavers

Share
34 search results - page 1 / 7
» Optimizations for Language-Directed Computational Steering
Sort
View
SPIN
2009
Springer
9 years 6 months ago
Subsumer-First: Steering Symbolic Reachability Analysis
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
Andrey Rybalchenko, Rishabh Singh
IJRR
2008
101views more  IJRR 2008»
9 years 1 days ago
Motion Planning Under Uncertainty for Image-guided Medical Needle Steering
We develop a new motion planning algorithm for a variant of a Dubins car with binary left/right steering and apply it to steerable needles, a new class of flexible beveltip medica...
Ron Alterovitz, Michael S. Branicky, Kenneth Y. Go...
ICASSP
2011
IEEE
8 years 3 months ago
Robust adaptive beamforming based on jointly estimating covariance matrix and steering vector
In this paper, a new adaptive beamforming algorithm with joint robustness against covariance matrix uncertainty as well as steering vector mismatch is proposed. First, the theoret...
Yujie Gu, Amir Leshem
ECCV
2004
Springer
10 years 1 months ago
Steering in Scale Space to Optimally Detect Image Structures
Detecting low-level image features such as edges and ridges with spatial filters is improved if the scale of the features are known a priori. Scale-space representations and wavele...
Jeffrey Ng, Anil A. Bharath
books