4719 search results - page 560 / 944 » Spreadsheet functional programming |
182
click to vote
MCMASTER
1993
15 years 9 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
159
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: While most multiple sequence alignment programs expect that all or most of their input is known to be homologous, and penalise insertions and deletions, this is not a ...
154
click to vote
ALMOB
2006
15 years 5 months ago
2006
Background: Automated software tools for multiple alignment often fail to produce biologically meaningful results. In such situations, expert knowledge can help to improve the qua...
160
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
In this paper, we show that for every constant 0 < < 1/2 and for every constant d 2, the minimum size of a depth d Boolean circuit that -approximates Majority function on n ...
141
click to vote
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...