5144 search results - page 423 / 1029 » Enhancing Search with Structure |
223
Voted
CMSB
2007
Springer
16 years 1 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
173
Voted
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper compares various approaches to implementing a compliant Cartesian behavior for robotic manipulators: impedance, admittance and stiffness control. A new controller struc...
175
Voted
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
Visualization of tubular structures such as blood vessels is an important topic in medical imaging. One way to display tubular structures for diagnostic purposes is to generate lo...
196
Voted
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
195
Voted
TIP
2010
15 years 5 months ago
2010
Abstract—In this paper, we introduce a reconstruction framework that explicitly accounts for image geometry when defining the spatial interaction between pixels in the filterin...