1862 search results - page 104 / 373 » Constrained pattern matching |
100
Voted
ICFP
2008
ACM
16 years 22 days 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
15 years 7 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
15 years 6 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
15 years 2 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...
90
Voted
KAIS
2006
15 years 22 days ago
2006
Abstract It has been proven that districted matching schemes (e.g., the US presidential election scheme, also called the Electoral College) are more stable than undistricted matchi...