Sciweavers

25 search results - page 5 / 5
» cg 1999
Sort
View
POPL
1999
ACM
14 years 2 months ago
Types for Mobile Ambients
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
Luca Cardelli, Andrew D. Gordon
ICCAD
1999
IEEE
88views Hardware» more  ICCAD 1999»
14 years 2 months ago
Performance optimization under rise and fall parameters
Typically,cell parameterssuch as the pin-to-pinintrinsicdelays, load-dependentcoe cients,andinputpin capacitanceshavedifferent values for rising and falling signals. The performan...
Rajeev Murgai
CVPR
1999
IEEE
14 years 11 months ago
Eigen-Texture Method: Appearance Compression Based on 3D Model
Image-based and model-based methods are two representative rendering methods for generating virtual images of objects from their real images. Extensive research on these two metho...
Ko Nishino, Yoichi Sato, Katsushi Ikeuchi
RECOMB
2001
Springer
14 years 2 months ago
Edit distance between two RNA structures
The primary structure of a ribonucleic acid (RNA) molecule is a sequence of nucleotides (bases) over the four-letter alphabet fA; C; G; Ug. The secondary or tertiary structure of ...
Guohui Lin, Bin Ma, Kaizhong Zhang
ESSLLI
1999
Springer
14 years 2 months ago
Towards Discontinuous Grammar
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
Matthias T. Kromann