Sciweavers

744 search results - page 128 / 149
» Observations on the Decidability of Transitions
Sort
View
ICRA
2009
IEEE
131views Robotics» more  ICRA 2009»
13 years 6 months ago
Fast needle insertion to minimize tissue deformation and damage
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...
Mohsen Mahvash, Pierre E. Dupont
COMPSAC
2011
IEEE
12 years 8 months ago
Precise Propagation of Fault-Failure Correlations in Program Flow Graphs
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...
Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang
ISPD
2012
ACM
234views Hardware» more  ISPD 2012»
12 years 4 months ago
MAPLE: multilevel adaptive placement for mixed-size designs
We propose a new multilevel framework for large-scale placement called MAPLE that respects utilization constraints, handles movable macros and guides the transition between global...
Myung-Chul Kim, Natarajan Viswanathan, Charles J. ...
ICIP
2004
IEEE
14 years 10 months ago
Complete 3-d models from video: a global approach
We address the automatic recovery of complete 3-D object models from video streams. Usually, complete 3-D models are built by fusing several depth maps, each computed from a small...
Bruno B. Gonçalves, Pedro M. Q. Aguiar
WWW
2003
ACM
14 years 9 months ago
Monitoring the dynamic web to respond to continuous queries
Continuous queries are queries for which responses given to users must be continuously updated, as the sources of interest get updated. Such queries occur, for instance, during on...
Sandeep Pandey, Krithi Ramamritham, Soumen Chakrab...