Sciweavers

2601 search results - page 239 / 521
» A Point in Many Triangles
Sort
View
FMICS
2008
Springer
15 years 7 months ago
Fighting State Space Explosion: Review and Evaluation
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
Radek Pelánek
GECCO
2008
Springer
193views Optimization» more  GECCO 2008»
15 years 7 months ago
Multiobjective optimization of a stent in a fluid-structure context
A stent device is a permanent metallic implant currently used to prop open arteries blocked with atherosclerotic plaques. Many classes of stents are available and mainly differ b...
Adel Blouza, Laurent Dumas, Ibrahima M'Baye
ASWEC
2010
IEEE
15 years 7 months ago
Support for Business Process Flexibility in Service Compositions: An Evaluative Survey
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
Malinda Kapuruge, Jun Han, Alan W. Colman
CVPR
2010
IEEE
15 years 7 months ago
Delineating trees in noisy 2D images and 3D image-stacks
We present a novel approach to fully automated delineation of tree structures in noisy 2D images and 3D image stacks. Unlike earlier methods that rely mostly on local evidence, ou...
Germán González, Engin Türetken...
ICASSP
2010
IEEE
15 years 7 months ago
Evaluation of random-projection-based feature combination on speech recognition
Random projection has been suggested as a means of dimensionality reduction, where the original data are projected onto a subspace using a random matrix. It represents a computati...
Tetsuya Takiguchi, Jeff Bilmes, Mariko Yoshii, Yas...