Sciweavers

2446 search results - page 128 / 490
» First Smart Spaces
Sort
View
179
Voted
NFM
2011
225views Formal Methods» more  NFM 2011»
14 years 10 months ago
Synthesis for PCTL in Parametric Markov Decision Processes
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
161
Voted
ICASSP
2011
IEEE
14 years 7 months ago
A novel vector quantization-based video summarization method using independent component analysis mixture model
In this paper, we present a new independent component analysis mixture vector quantization (ICAMVQ) method to summarize the video content. In particular, independent component ana...
Junfeng Jiang, Xiao-Ping Zhang
207
Voted
ICDE
2006
IEEE
158views Database» more  ICDE 2006»
16 years 5 months ago
Space-efficient Relative Error Order Sketch over Data Streams
We consider the problem of continuously maintaining order sketches over data streams with a relative rank error guarantee . Novel space-efficient and one-scan randomised technique...
Ying Zhang, Xuemin Lin, Jian Xu, Flip Korn, Wei Wa...
169
Voted
AMFG
2003
IEEE
244views Biometrics» more  AMFG 2003»
15 years 9 months ago
Manifold of Facial Expression
In this paper, we propose the concept of Manifold of Facial Expression based on the observation that images of a subject’s facial expressions define a smooth manifold in the hig...
Ya Chang, Changbo Hu, Matthew Turk
118
Voted
CVPR
2010
IEEE
15 years 8 months ago
Action Classification on Product Manifolds
Videos can be naturally represented as multidimensional arrays known as tensors. However, the geometry of the tensor space is often ignored. In this paper, we argue that the under...
Yui Man Lui, J Ross Beveridge, Michael Kirby