6258 search results - page 1230 / 1252 » Applied Text Generation |
FAC
2007
14 years 9 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
94
Voted
NAR
2006
14 years 9 months ago
2006
The Chloroplast Genome Database (ChloroplastDB) is an interactive, web-based database for fully sequenced plastid genomes, containing genomic, protein, DNA and RNA sequences, gene...
PAMI
2006
14 years 9 months ago
2006
The performance of face recognition systems that use two-dimensional images depends on factors such as lighting and subject's pose. We are developing a face recognition system...
IJWIS
2007
14 years 9 months ago
2007
Streams of data often originate from many distributed sources. A distributed stream processing system publishes such streams of data and enables queries over the streams. This allo...
113
click to vote
TCSV
2008
14 years 9 months ago
2008
Since variable block-size motion compensation (MC) and rate-distortion optimization (RDO) techniques are adopted in H.264/MPEG-4 AVC, modes and motion vectors (MVs) in input stream...