5525 search results - page 783 / 1105 » Verification of Model Transformations |
367
click to vote
CASES
2011
ACM
14 years 6 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
218
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Recently, the wide deployment of practical face recognition systems gives rise to the emergence of the inter-modality face recognition problem. In this problem, the face images in ...
196
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
With rapid advances in video processing technologies and ever fast increments in network bandwidth, the popularity of video content publishing and sharing has made similarity sear...
170
click to vote
SGP
2003
15 years 8 months ago
2003
Any quantization introduces errors. An important question is how to suppress their visual effect. In this paper we present a new quantization method for the geometry of 3D meshes,...
160
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We study the scenario of a multiview setting, where several
calibrated views of a textured object with known surface
geometry are available. The objective is to estimate a
diffu...