3820 search results - page 472 / 764 » Bounded Model Debugging |
115
Voted
ICRA
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- During needle-based procedures, transitions between tissue layers often involve puncture events that produce substantial deformation and tend to drive the needle off cou...
179
Voted
CVPR
2011
IEEE
15 years 2 days ago
2011
IEEE
Combining information from the higher level and the lower level has long been recognized as an essential component in holistic image understanding. However, an efficient inferenc...
144
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
We propose a solution to the problem of adaptive output regulation for nonlinear minimum-phase systems that does not rely upon conventional adaptation schemes to estimate the frequ...
131
Voted
CMPB
2010
14 years 10 months ago
2010
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
182
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—In this paper, we give a global perspective of multicast capacity and delay analysis in Mobile Ad-hoc Networks (MANETs). Specifically, we consider two node mobility models: (1)...