4178 search results - page 158 / 836 » Similarity Patterns in Language |
133
Voted
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
216
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
DejaVu is an event processing system that integrates declarative pattern matching over live and archived streams of events on top of a novel system architecture. We propose to dem...
147
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
130
click to vote
OTM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The modeling, design, and implementation of inter-organizational systems (IOS) is a challenging new problem. In contrast to previous systems, where components have clearl...
161
click to vote
ML
2008
ACM
15 years 4 months ago
2008
ACM
We address the issue of compiling ML pattern matching to compact and efficient decisions trees. Traditionally, compilation to decision trees is optimized by (1) implementing decis...