5255 search results - page 695 / 1051 » Formal Methods for Privacy |
162
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
The contribution presents an approach for motion capturing (MoCap) of dressed people. A cloth draping method is embedded in a silhouette based MoCap system and an error functional ...
167
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
175
click to vote
DLOG
2007
15 years 9 months ago
2007
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
175
click to vote
EMNLP
2008
15 years 8 months ago
2008
We present a discriminative, latent variable approach to syntactic parsing in which rules exist at multiple scales of refinement. The model is formally a latent variable CRF gramm...
177
click to vote
IMAMS
2007
15 years 8 months ago
2007
We present a shape deformation approach which preserves volume, prevents self-intersections and allows for exact control of the deformation impact. The volume preservation and prev...