Sciweavers

1860 search results - page 175 / 372
» Structured Multimedia Authoring
Sort
View
JLP
2007
130views more  JLP 2007»
15 years 4 months ago
A compositional coalgebraic model of fusion calculus
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...
Maria Grazia Buscemi, Ugo Montanari
129
Voted
NAR
1998
129views more  NAR 1998»
15 years 3 months ago
The guide RNA database
The RNA editing process in protozoan parasites is controlled by small RNA molecules known as guide RNAs (gRNAs). The gRNA database is a comprehensive compilation of published guid...
Augustine E. Souza, H. Ulrich Göringer
144
Voted
MIR
2004
ACM
109views Multimedia» more  MIR 2004»
15 years 9 months ago
A web-enabled video indexing system
Video parsing and indexing is an important early stage of contentbased video analysis. In this paper, we present a new web-enabled video indexing system that integrates Synchroniz...
Jian Zhou, Xiao-Ping Zhang
STOC
2002
ACM
119views Algorithms» more  STOC 2002»
16 years 4 months ago
Space-efficient approximate Voronoi diagrams
Given a set S of n points in IRd , a (t, )-approximate Voronoi diagram (AVD) is a partition of space into constant complexity cells, where each cell c is associated with t represe...
Sunil Arya, Theocharis Malamatos, David M. Mount
DIM
2008
ACM
15 years 6 months ago
Minimal information disclosure with efficiently verifiable credentials
Public-key based certificates provide a standard way to prove one's identity, as attested by some certificate authority (CA). However, plain certificates provide a binary ide...
David Bauer, Douglas M. Blough, David Cash