Sciweavers

854 search results - page 65 / 171
» Relational Model Driven Application Design
Sort
View
85
Voted
PARMA
2004
162views Database» more  PARMA 2004»
15 years 2 months ago
UML-based Conceptual Modeling of Pattern-Bases
The concept of pattern, meant as an interesting knowledge artifact extracted from data, is considered to be a an effective answer to the advanced analysis requirements emerging in ...
Stefano Rizzi
102
Voted
MICCAI
2008
Springer
16 years 2 months ago
Customized Design of Hearing Aids Using Statistical Shape Learning
3D shape modeling is a crucial component of rapid prototyping systems that customize shapes of implants and prosthetic devices to a patient's anatomy. In this paper, we presen...
Gozde B. Unal, Delphine Nain, Gregory G. Slabaug...
106
Voted
PPOPP
1997
ACM
15 years 5 months ago
LoPC: Modeling Contention in Parallel Algorithms
Parallel algorithm designers need computational models that take first order system costs into account, but are also simple enough to use in practice. This paper introduces the L...
Matthew Frank, Anant Agarwal, Mary K. Vernon
CCE
2008
15 years 27 days ago
Informative gene selection and design of regulatory networks using integer optimization
A central problem in bioinformatics and systems biology is the selection of appropriate models in a rational and systematic way. This fundamentally combinatorial problem can be re...
Eric Yang, Timothy Maguire, Martin L. Yarmush, Ioa...
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
15 years 9 months ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz