3259 search results - page 558 / 652 » Modeling Autonomous-System Relationships |
114
click to vote
CSL
2010
Springer
15 years 3 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...
127
click to vote
DAWAK
2010
Springer
15 years 3 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...
117
click to vote
CNL
2009
15 years 3 months ago
2009
Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination...
137
click to vote
CVPR
2008
IEEE
15 years 2 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 ...
106
Voted
ANOR
2008
15 years 2 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...