2194 search results - page 96 / 439 » Improving HLRTA*( k ) |
112
click to vote
NAACL
1994
15 years 3 months ago
1994
Thispaperintroduces a simple mixtare languagemodelthat attempts to capture long distance conslraints in a sentence orparagraph. The model is an m-component mixture of Irigram mode...
137
click to vote
CAV
2010
Springer
15 years 2 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
107
click to vote
Publication
This paper describes the structure of, and the ideas behind, a self-applicable specializer of programs, as well as the principles of operation of a compiler generator that has been...
137
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Artificial immune system can be used to generate schedules in changing environments and it has been proven to be more robust than schedules developed using a genetic algorithm. Go...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We give a new, and hopefully more easily understandable, structural proof of the decomposition of a k-valued transducer into k unambiguous functional ones, a result established by...