6120 search results - page 429 / 1224 » The Power of Linear Functions |
172
click to vote
EVOW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A system for automatic composition using grammatical evolution is presented. Compositions are created under the constraints of a generative grammar, and under the bias of...
190
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
183
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
197
click to vote
ACL
2011
14 years 10 months ago
2011
We cast the word alignment problem as maximizing a submodular function under matroid constraints. Our framework is able to express complex interactions between alignment component...
187
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
The performance of system-on-chip is determined not only by the performance of its functional units, but also by how efficiently they cooperate with one another. It is the on-chip...