Sciweavers

4287 search results - page 324 / 858
» Minimal Mental Models
Sort
View
CORR
2006
Springer
169views Education» more  CORR 2006»
15 years 7 months ago
Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model
We consider a type of zero-knowledge protocols that are of interest for their practical applications within networks like the Internet: efficient zero-knowledge arguments of knowl...
Yi Deng, Giovanni Di Crescenzo, Dongdai Lin
CVPR
2009
IEEE
1453views Computer Vision» more  CVPR 2009»
16 years 11 months ago
Learning Photometric Invariance From Diversified Color Model Ensembles
Color is a powerful visual cue for many computer vision applications such as image segmentation and object recognition. However, most of the existing color models depend on the i...
Jose M. Alvarez, Theo Gevers, Antonio M. Lopez
ICFEM
2009
Springer
16 years 1 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
SIAMIS
2008
141views more  SIAMIS 2008»
15 years 7 months ago
A Nonlinear Inverse Scale Space Method for a Convex Multiplicative Noise Model
We are motivated by a recently developed nonlinear inverse scale space method for image denoising [5, 6], whereby noise can be removed with minimal degradation. The additive noise ...
Jianing Shi, Stanley Osher
SIGGRAPH
1996
ACM
15 years 11 months ago
Simulating Facial Surgery Using Finite Element Models
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
Rolf M. Koch, Markus H. Gross, Friedrich R. Carls,...