Sciweavers

1000 search results - page 139 / 200
» order 2011
Sort
View
221
Voted
BILDMED
2011
225views Algorithms» more  BILDMED 2011»
14 years 9 months ago
Using Power Watersheds to Segment Benign Thyroid Nodules in Ultrasound Image Data
Thyroid nodule segmentation is a hard task due to different echo structures, textures and echogenicities in ultrasound (US) images as well as speckle noise. Currently, a typical c...
Eva N. K. Kollorz, Elli Angelopoulou, Michael Beck...
CAV
2011
Springer
234views Hardware» more  CAV 2011»
14 years 9 months ago
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
Valeriy Balabanov, Jie-Hong R. Jiang
CCE
2011
14 years 9 months ago
Separation of butanol from acetone-butanol-ethanol fermentation by a hybrid extraction-distillation process
The alternative fuel butanol can be produced via acetone-butanol-ethanol (ABE) fermentation from renewable resources, i.e. biomass. Expensive feedstocks and the high costs for the...
Korbinian Kraemer, Andreas Harwardt, Rob Bronneber...
CG
2011
Springer
14 years 9 months ago
A projected back-tracking line-search for constrained interactive inverse kinematics
Inverse kinematics is the problem of manipulating the pose of an articulated figure in order to achieve a desired goal disregarding inertia and forces. One can approach the probl...
Morten Engell-Nørregård, Kenny Erlebe...
CGA
2011
14 years 9 months ago
How to Read a Visualization Research Paper: Extracting the Essentials
PhD students or researchers starting a new research project or initiating work in an unfamiliar research direction often undertake a scientific literature search in order to info...
Robert S. Laramee