1450 search results - page 122 / 290 » Juggling with Pattern Matching |
141
click to vote
IWPC
2009
IEEE
16 years 27 days ago
2009
IEEE
It is often claimed that inaccurate modularisation of crosscutting concerns hinders program comprehension and, as a consequence, leads to harmful software instabilities. However, ...
184
click to vote
CSB
2005
IEEE
15 years 12 months ago
2005
IEEE
With the rapid growth of biomedical research databases, opportunities for scientific inquiry have expanded quickly and led to a demand for computational methods that can extract b...
172
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
173
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Music video (MV) is a short film meant to present a visual representation of a popular music song. In this paper, we present a system that automatically generates MV-like videos f...
165
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...