140 search results - page 12 / 28 » Eliminating Dependent Pattern Matching |
BMCBI
2008
14 years 10 months ago
2008
Background: Bacterial promoters, which increase the efficiency of gene expression, differ from other promoters by several characteristics. This difference, not yet widely exploite...
106
click to vote
IISWC
2008
IEEE
15 years 4 months ago
2008
IEEE
—High-speed content inspection of network traffic is an important new application area for programmable networking systems, and has recently led to several proposals for high-per...
103
click to vote
FQAS
2004
Springer
15 years 1 months ago
2004
Springer
The discovery of frequently occurring patterns in a time series could be important in several application contexts. As an example, the analysis of frequent patterns in biomedical ...
PADL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...