6102 search results - page 455 / 1221 » Generating Optimizing Specializers |
123
click to vote
ISCOPE
1998
Springer
15 years 8 months ago
1998
Springer
The multiple minimum degree (MMD) algorithm and its variants have enjoyed 20+ years of research and progress in generating ll-reducing orderings for sparse, symmetric positive de n...
128
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
ion. Production use of text-based methodology has enabled designers to capture designs of hundreds of thousands of gates using graphic ESDA tools. Source: Data Quest (Verilog/VHDL ...
170
click to vote
SIGGRAPH
1996
ACM
15 years 8 months ago
1996
ACM
Sketching communicates ideas rapidly through approximate visual images with low overhead (pencil and paper), no need for precision or specialized knowledge, and ease of low-level ...
159
click to vote
LOPSTR
1997
Springer
15 years 8 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
132
click to vote
AI
2006
Springer
15 years 8 months ago
2006
Springer
This paper studies the problem of classification by using a concept lattice as a search space of classification rules. The left hand side of a classification rule is composed by a ...