Sciweavers

3545 search results - page 468 / 709
» Computational methods for case-cohort studies
Sort
View
FMICS
2009
Springer
16 years 1 months ago
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
David Delmas, Eric Goubault, Sylvie Putot, Jean So...
KCAP
2009
ACM
16 years 1 months ago
Workflow matching using semantic metadata
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...
Yolanda Gil, Jihie Kim, Gonzalo Flórez Puga...
SMA
2009
ACM
130views Solid Modeling» more  SMA 2009»
16 years 1 months ago
A symbolic-numerical envelope algorithm using quadratic MOS patches
In this paper, we describe an algorithm for generating an exact rational envelope of a two-parameter family of spheres given by a quadratic patch in R3,1 , which is considered as ...
Bohumír Bastl, Jirí Kosinka, Mirosla...
INFOCOM
2008
IEEE
16 years 29 days ago
Underwater Localization in Sparse 3D Acoustic Sensor Networks
—We study the localization problem in sparse 3D underwater sensor networks. Considering the fact that depth information is typically available for underwater sensors, we transfor...
Wei Cheng, Amin Y. Teymorian, Liran Ma, Xiuzhen Ch...
CEC
2007
IEEE
16 years 27 days ago
A fractal representation for real optimization
— The chaos game, in which a moving point is repeatedly averaged toward randomly selected vertices of a triangle, is one method of generating the fractal called the Sierpinski tr...
Daniel A. Ashlock, Justin Schonfeld