2647 search results - page 457 / 530 » Solving Term Inequalities |
170
Voted
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Over the years, many Linear Discriminant Analysis (LDA) algorithms have been proposed for the study of high dimensional data in a large variety of problems. An intrinsic limitatio...
143
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
130
click to vote
FPGA
2007
ACM
15 years 10 months ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
149
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
We attack the problem of user fatigue by using an interactive genetic algorithm to evolve user interfaces in the XUL interface definition language. The interactive genetic algori...
171
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Credit assignment is a fundamental issue for the Learning Classifier Systems literature. We engage in a detailed investigation of credit assignment in one recent system called UC...