4067 search results - page 429 / 814 » Programs for Applying Symmetries |
171
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. There are several computer programs that align mRNA with its genomic counterpart to determine exon boundaries. Though most of these programs perform such alignment effici...
175
click to vote
WEA
2005
Springer
16 years 6 days ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
173
click to vote
APLAS
2004
ACM
16 years 5 days ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
165
click to vote
APLAS
2004
ACM
16 years 5 days ago
2004
ACM
We propose a new implementation scheme for XML transformation languages through derivation of stream processors. Most of XML transformation languages are implemented as tree manipu...
188
click to vote
IFL
2004
Springer
16 years 3 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...