1477 search results - page 80 / 296 » Pattern Matching with Swaps |
MICCAI
2007
Springer
14 years 10 months ago
2007
Springer
Disease-specific understanding of echocardiographic sequences requires accurate characterization of spatio-temporal motion patterns. In this paper we present a method of automatic ...
ICFP
2008
ACM
14 years 9 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
The ability to detect fragments of deleted image files and to reconstruct these image files from all available fragments on disk is an important activity in the field of digital f...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, a new implementation method is proposed for Context-Adaptive Variable Length Coding (CAVLC) used in H.264 Baseline Profile. We analyze the correlation between bit p...
ACL
2000
13 years 11 months ago
2000
This paper reports the first part of a project that aims to develop a knowledge extraction and knowledge discovery system that extracts causal knowledge from textual databases. In...