2260 search results - page 301 / 452 » A new algorithm for clustering search results |
130
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
An algorithm for technology mapping of combinational and sequential logic networks is proposed and applied to mapping into K-input lookup-tables (K-LUTs). The new algorithm avoids...
191
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
150
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
162
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes a new procedure that has been developed for extending an existing on-line information system about The Voyages of the Beagle with information collected automat...
203
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Wide-area networks provide an easy access to many different distributed and heterogeneous data sources. The development of automated operating tools is still complex, particularly...