Sciweavers

4354 search results - page 145 / 871
» Matching Objects with Patterns
Sort
View
POPL
2003
ACM
16 years 1 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
16 years 1 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
15 years 5 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...
MTA
2007
101views more  MTA 2007»
15 years 1 months ago
Finding maximum-length repeating patterns in music databases
Abstract This paper introduces the problem of discovering maximum-length repeating patterns in music objects. A novel algorithm is presented for the extraction of this kind of patt...
Ioannis Karydis, Alexandros Nanopoulos, Yannis Man...
ECCV
1998
Springer
16 years 3 months ago
Concerning Bayesian Motion Segmentation, Model, Averaging, Matching and the Trifocal Tensor
Abstract. Motion segmentation involves identifying regions of the image that correspond to independently moving objects. The number of independently moving objects, and type of mot...
Philip H. S. Torr, Andrew Zisserman