Sciweavers

1450 search results - page 82 / 290
» Juggling with Pattern Matching
Sort
View
LREC
2008
90views Education» more  LREC 2008»
14 years 6 days ago
Navigating through Dense Annotation Spaces
Pattern matching, or querying, over annotations is a general purpose paradigm for inspecting, navigating, mining, and transforming annotation repositories--the common representati...
Branimir Boguraev, Mary S. Neff
POPL
2003
ACM
14 years 11 months ago
Pure patterns type systems
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
Gilles Barthe, Horatiu Cirstea, Claude Kirchner, L...
RECOMB
2004
Springer
14 years 11 months ago
Comparing in situ mRNA expression patterns of drosophila embryos
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...
Hanchuan Peng, Eugene W. Myers
EDOC
2004
IEEE
14 years 2 months ago
QoS Aggregation for Web Service Composition using Workflow Patterns
Contributions in the field of Web services have identified that (a) finding matches between semantic descriptions of advertised and requested services and (b) non-functional chara...
Michael C. Jaeger, Gregor Rojec-Goldmann, Gero M&u...
ACSD
2005
IEEE
153views Hardware» more  ACSD 2005»
14 years 4 months ago
BoPi - A Distributed Machine for Experimenting Web Services Technologies
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
Samuele Carpineti, Cosimo Laneve, Paolo Milazzo