Sciweavers

1177 search results - page 130 / 236
» System-in-Package Testing: Problems and Solutions
Sort
View
131
Voted
PROCEDIA
2010
344views more  PROCEDIA 2010»
15 years 3 days ago
Towards high-quality, untangled meshes via a force-directed graph embedding approach
High quality meshes are crucial for the solution of partial differential equations (PDEs) via the finite element method (or other PDE solvers). The accuracy of the PDE solution,...
Sanjukta Bhowmick, Suzanne M. Shontz
126
Voted
VSTTE
2010
Springer
14 years 11 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
114
Voted
DSVIS
2003
Springer
15 years 7 months ago
Higher-Order Task Models
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
Anke Dittmar, Peter Forbrig
111
Voted
ICIP
2008
IEEE
16 years 3 months ago
LASIC: A model invariant framework for correspondence
In this paper we address two closely related problems. The first is the object detection problem, i.e., the automatic decision of whether a given image represents a known object o...
Bernardo Rodrigues Pires, João Xavier, Jos&...
GECCO
2003
Springer
114views Optimization» more  GECCO 2003»
15 years 7 months ago
Genetic Algorithm for Supply Planning Optimization under Uncertain Demand
Supply planning optimization is one of the most important issues for manufacturers and distributors. Supply is planned to meet the future demand. Under the uncertainty involved in ...
Masaru Tezuka, Masahiro Hiji