5144 search results - page 423 / 1029 » Enhancing Search with Structure |
249
click to vote
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. ...
199
click to vote
ICRA
2002
IEEE
16 years 18 days 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...
203
click to vote
VISUALIZATION
2002
IEEE
16 years 17 days 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...
213
click to vote
ICECCS
2007
IEEE
15 years 11 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...
210
click to vote
TIP
2010
15 years 6 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...