Sciweavers

80 search results - page 7 / 16
» PVS
Sort
View
39
Voted
ENTCS
2007
50views more  ENTCS 2007»
14 years 11 months ago
Translation Templates to Support Strategy Development in PVS
Hongping Lim, Myla Archer
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
15 years 5 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle
ICIP
2005
IEEE
16 years 1 months ago
On object-based compression for a class of dynamic image-based representations
An object-based compression scheme for a class of dynamic image-based representations called "plenoptic videos" (PVs) is studied in this paper. PVs are simplified dynami...
Qing Wu, King To Ng, Shing-Chow Chan, Heung-Yeung ...
VCIP
2001
173views Communications» more  VCIP 2001»
15 years 21 days ago
Interpolation of three views based on epipolar geometry
In this paper, we propose a method for generating arbitrary view image by interpolating images between three cameras using epipolar geometry. Projective geometry has recently been...
Makoto Kimura, Hideo Saito