Sciweavers

2661 search results - page 419 / 533
» Model Checking Performability Properties
Sort
View
CVPR
2004
IEEE
15 years 4 days ago
Generalized Quotient Image
In this paper, we present a unified framework for modeling intrinsic properties of face images for recognition. It is based on the quotient image (QI) concept, in particular on th...
Haitao Wang, Stan Z. Li, Yangsheng Wang
ICIP
2001
IEEE
14 years 11 months ago
On the compression of two-dimensional piecewise smooth functions
It is well known that wavelets provide good non-linear approximation of one-dimensional (1-D) piecewise smooth functions. However, it has been shown that the use of a basis with g...
Pier Luigi Dragotti, Minh N. Do, Rahul Shukla, Mar...
ICDE
2003
IEEE
143views Database» more  ICDE 2003»
14 years 11 months ago
Querying Imprecise Data in Moving Object Environments
In moving object environments, it is infeasible for the database tracking the movement of objects to store the exact locations of objects at all times. Typically, the location of a...
Reynold Cheng, Sunil Prabhakar, Dmitri V. Kalashni...
ICASSP
2008
IEEE
14 years 4 months ago
Multi-stream parameterization for structural speech recognition
Recently, a novel and structural representation of speech was proposed [1, 2], where the inevitable acoustic variations caused by nonlinguistic factors are effectively removed fro...
Satoshi Asakawa, Nobuaki Minematsu, Keikichi Hiros...
INFOCOM
2007
IEEE
14 years 4 months ago
On Scalability of Proximity-Aware Peer-to-Peer Streaming
—P2P (peer-to-peer) technology has proved itself an efficient and cost-effective solution to support large-scale multimedia streaming. Different from traditional P2P application...
Liang Dai, Yi Cui, Yuan Xue