Sciweavers

693 search results - page 33 / 139
» Toward a Physics of Equations
Sort
View
MICCAI
2006
Springer
14 years 8 months ago
Towards Optimization of Probe Placement for Radio-Frequency Ablation
We present a model for the optimal placement of mono- and bipolar probes in radio-frequency (RF) ablation. The model is based on a numerical computation of the probe's electri...
Inga Altrogge, Tim Kröger, Tobias Preusser, C...
IFSA
2007
Springer
149views Fuzzy Logic» more  IFSA 2007»
14 years 2 months ago
From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs Under Interv
One of the important components of granular computing is interval computations. In interval computations, at each intermediate stage of the computation, we have intervals of possi...
Martine Ceberio, Vladik Kreinovich, Andrzej Pownuk...
ICRA
2006
IEEE
105views Robotics» more  ICRA 2006»
14 years 1 months ago
Towards Automated Gait Generation for Dynamic Systems with Non-holonomic Constraints
— In this paper we generate gaits for dynamics systems that are subject to non-holonomic velocity constraints. These systems are referred to as mixed non-holonomic systems. The m...
Elie A. Shammas, Howie Choset, Alfred A. Rizzi
IWCM
2004
Springer
14 years 1 months ago
Towards a Multi-camera Generalization of Brightness Constancy
Standard optical flow methods for motion or disparity estimation use a brightness constancy constraint equation (BCCE). This BCCE either handles a moving camera imaging a non-movi...
Hanno Scharr
ENTCS
2007
135views more  ENTCS 2007»
13 years 7 months ago
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
André Platzer