Sciweavers

495 search results - page 17 / 99
» Abstract Numeration Systems and Tilings
Sort
View
BILDMED
2008
100views Algorithms» more  BILDMED 2008»
13 years 11 months ago
Detection of Point Scatterers by Regularized Inversion of a Linear Ultrasound System Model
Abstract. Scatterer detection in medical ultrasound imaging can be formulated as an inverse problem concerning a linear system model based on point scatterers. The applicability of...
Tobias Gehrke, Heinrich M. Overhoff
ATVA
2009
Springer
158views Hardware» more  ATVA 2009»
14 years 4 months ago
Logahedra: A New Weakly Relational Domain
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
Jacob M. Howe, Andy King
AMDO
2008
Springer
13 years 12 months ago
Inverse Kinematics Using Sequential Monte Carlo Methods
Abstract. In this paper we propose an original approach to solve the Inverse Kinematics problem. Our framework is based on Sequential Monte Carlo Methods and has the advantage to a...
Nicolas Courty, Elise Arnaud
PLDI
2003
ACM
14 years 3 months ago
A comparison of empirical and model-driven optimization
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibuls...
CDC
2010
IEEE
125views Control Systems» more  CDC 2010»
13 years 1 months ago
Persistent patrol with limited-range on-board sensors
— We propose and analyze the Persistent Patrol Problem (PPP). An unmanned aerial vehicle (UAV) moving with constant speed and unbounded acceleration patrols a bounded region of t...
Vu Anh Huynh, John Enright, Emilio Frazzoli