1968 search results - page 140 / 394 » Symmetry in Decision Evaluation |
170
click to vote
ISCAS
2005
IEEE
16 years 21 hour ago
2005
IEEE
—This paper presents a SoC platform based design for the implementation of AAC audio decoder. We present the approach not only for the characteristics of the algorithm, but also ...
144
click to vote
SAC
2005
ACM
16 years 23 min ago
2005
ACM
This paper presents a systematic method for simultaneously defining a software architecture and selecting off-the-shelf components for reuse. The method builds upon existing tec...
177
click to vote
IDA
2005
Springer
15 years 12 months ago
2005
Springer
Inducing a classification function from a set of examples in the form of labeled instances is a standard problem in supervised machine learning. In this paper, we are concerned w...
171
click to vote
SAT
2005
Springer
15 years 12 months ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
158
click to vote
CASDMKM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Many methodologies have been introduced to deal with project portfolio selection problem including some techniques that help to evaluate individual projects, or to select...