2328 search results - page 257 / 466 » Component Frameworks - A Case Study |
227
click to vote
IDA
2010
Springer
15 years 4 months ago
2010
Springer
Data-driven knowledge discovery is becoming a new trend in various scientific fields. In light of this, the goal of the present paper is to introduce a novel framework to study one...
180
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Despite the recent success of genome-wide association studies in identifying novel loci contributing effects to complex human traits, such as type 2 diabetes and obesi...
134
click to vote
ISQED
2007
IEEE
16 years 16 days ago
2007
IEEE
This paper studies multi-dimensional optimization at both circuit and micro-architecture levels. By formulating and solving the optimization problem with conflicting design objec...
161
click to vote
DPPI
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we discuss and compare two user centred methods applied in concept design: observation and probes. The comparison is based on findings from two case studies. In the...
186
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...