Sciweavers

2470 search results - page 200 / 494
» Liveness-Preserving Simulation Relations
Sort
View
WCE
2007
15 years 5 months ago
A Patch-by-Patch Shape Matching Procedure for Rigid Body Docking
Abstract—Docking simulates molecular interactions. Protein - protein docking, owing to the sizes of molecules, is a very challenging problem. As the number of degrees of freedom ...
Vipin K. Tripathi
124
Voted
WCE
2007
15 years 5 months ago
Performance Analysis of Job-Shop Production Systems under Different Order Release Control Parameters
—Controlling the flow of materials inside job-shops involves several decisions such as the acceptance or rejection of an incoming order, the order’s due date definition, the re...
Paulo S. A. Sousa, Maria R. A. Moreira
136
Voted
WCE
2007
15 years 5 months ago
Step-Size Bounds Analysis of the Generalized Multidelay Adaptive Filter
—In this paper, we analyze the bounds of the fixed common step-size parameter GMDFµ for the generalized multidelay adaptive filter (GMDF). Frequency domain adaptive filters are ...
Junghsi Lee, Hsu Chang Huang
3DPH
2009
190views Healthcare» more  3DPH 2009»
15 years 5 months ago
Vessels-Cut: A Graph Based Approach to Patient-Specific Carotid Arteries Modeling
We present a nearly automatic graph-based segmentation method for patient specific modeling of the aortic arch and carotid arteries from CTA scans for interventional radiology simu...
Moti Freiman, Noah Broide, Miriam Natanzon, Einav ...
CDC
2008
IEEE
103views Control Systems» more  CDC 2008»
15 years 5 months ago
Control of an pseudo-omnidirectional, non-holonomic, mobile robot based on an ICM representation in spherical coordinates
— For mobile platforms with steerable standard wheels it is necessary to precisely coordinate rotation and steering angle of their wheels. Especially for redundantly actuated pla...
Christian Pascal Connette, Andreas Pott, Martin H&...