1612 search results - page 195 / 323 » Asynchronous Pattern Matching |
117
click to vote
CORR
2010
Springer
15 years 15 days ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
138
Voted
PAAMS
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...
124
Voted
PAMI
2010
14 years 9 months ago
2010
This paper proposes a new method to synthesize and inpaint geometric textures. The texture model is composed of a geometric layer that drives the computation of a new grouplet tran...
161
Voted
CIARP
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. In this paper, we address the problem of opinion analysis using a probabilistic approach to the underlying structure of different types of opinions or sentiments around ...
108
Voted
CIARP
2007
Springer
15 years 8 months ago
2007
Springer
Underlying biometrics are biological tissues that evolve over time. Hence, biometric authentication (and recognition in general) is a dynamic pattern recognition problem. We propos...