Sciweavers

118 search results - page 20 / 24
» Permutation codes
Sort
View
FM
2009
Springer
157views Formal Methods» more  FM 2009»
15 years 4 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
ICIP
2008
IEEE
15 years 4 months ago
H.264/AVC video scrambling for privacy protection
In this paper, we address the problem of privacy in video surveillance systems. More specifically, we consider the case of H.264/AVC which is the state-of-the-art in video coding....
Frédéric Dufaux, Touradj Ebrahimi
DNA
2005
Springer
117views Bioinformatics» more  DNA 2005»
15 years 3 months ago
Simple Operations for Gene Assembly
Abstract. The intramolecular model for gene assembly in ciliates considers three operations, ld, hi, and dlad that can assemble any gene pattern through folding and recombination: ...
Tero Harju, Ion Petre, Vladimir Rogojin, Grzegorz ...
COLING
1996
14 years 11 months ago
An Empirical Architecture for Verb Subcategorization Frame - a Lexicon for a Real-world Scale Japanese-English Interlingual MT
The verb subcategorization frame information plays a major role of disambiguations in many NLP applications. Japanese, however, imposes difficulties of subcategorizing in part bec...
Naoyuki Nomura, Kazunori Muraki
DAM
2008
75views more  DAM 2008»
14 years 9 months ago
Patterns of simple gene assembly in ciliates
The intramolecular model for gene assembly in ciliates considers three operations, ld, hi, and dlad that can assemble any gene pattern through folding and recombination: the molec...
Tero Harju, Ion Petre, Vladimir Rogojin, Grzegorz ...