4650 search results - page 216 / 930 » Generating and evaluating evaluative arguments |
158
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
139
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Since typical evolutionary design systems encode only a single artifact with each individual, each time the objective changes a new set of individuals must be evolved. Wh...
131
Voted
PAKDD
2009
ACM
15 years 8 months ago
2009
ACM
A large proportion of the massive amounts of data that are being collected by many organisations today is about people, and often contains identifying information like names, addre...
130
click to vote
SAIG
2000
Springer
15 years 7 months ago
2000
Springer
Achieving peak performance in important numerical kernels such as dense matrix multiply or sparse-matrix vector multiplication usually requires extensive, machine-dependent tuning ...
146
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...