3259 search results - page 558 / 652 » Modeling Autonomous-System Relationships |
CSL
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
DAWAK
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Pearson product-moment correlation coefficients are a wellpracticed quantification of linear dependence seen across many fields. When calculating a sample-based correlati...
CNL
2009
13 years 11 months ago
2009
Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination...
CVPR
2008
IEEE
13 years 10 months ago
2008
IEEE
This paper focuses on hallucinating a facial shape from a low-resolution 3D facial shape. Firstly, we give a constrained conformal embedding of 3D shape in R2 , which establishes ...
ANOR
2008
13 years 10 months ago
2008
We describe a class of problems motivated by numerous real-world applications where there is a collection of objects that have both a cost and a value, but where some of those obj...