816 search results - page 81 / 164 » Practical Multi-level Modeling on MOF-compliant Modeling Fra... |
104
click to vote
TOG
2012
13 years 12 days ago
2012
We present a theoretical framework and practical method for the automatic construction of simple, all-quadrilateral patch layouts on manifold surfaces. The resulting layouts are c...
DSS
2007
14 years 10 months ago
2007
This paper develops a methodology for analyzing and predicting the impact category of malicious code, particularly email worms. The current paper develops two frameworks to classi...
CVPR
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose an approximate Bayesian approach for unsupervised feature selection and density estimation, where the importance of the features for clustering is used as the measure f...
106
click to vote
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
CVPR
2008
IEEE
15 years 12 months ago
2008
IEEE
We present a random field based model for stereo vision with explicit occlusion labeling in a probabilistic framework. The model employs non-parametric cost functions that can be ...