742 search results - page 17 / 149 » Pattern matching for sets of segments |
ITP
2010
13 years 11 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
TAL
2010
Springer
13 years 5 months ago
2010
Springer
Answering email by standard answers is a common practice at contact centers. Our research assists this process by creating reply messages that contain one or several standard answe...
WALCOM
2007
IEEE
13 years 8 months ago
2007
IEEE
In this paper, we consider the pattern matching problem in DNA and RNA sequences where either the pattern or the text can be degenerate i.e. contain sets of characters. We present ...
DAGM
2004
Springer
14 years 23 days ago
2004
Springer
We address the difficulty of image segmentation methods based on the popular level set framework to handle an arbitrary number of regions. While in the literature some level set t...
ACL
2003
13 years 8 months ago
2003
We describe an algorithm for recovering non-local dependencies in syntactic dependency structures. The patternmatching approach proposed by Johnson (2002) for a similar task for p...