4209 search results - page 557 / 842 » Abstract Dialectical Frameworks |
184
click to vote
ISMM
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Surface reconstruction from a set of noisy point measurements has been a well studied problem for several decades. Recently, variational and discrete optimization approac...
212
click to vote
CAIP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We address the problem of jointly estimating the scene illumination, the radiometric camera calibration and the reflectance properties of an object using a set of images...
170
click to vote
COMSUR
2011
14 years 4 months ago
2011
Abstract—We provide an overview of link scheduling algorithms in Spatial Time Division Access (STDMA) wireless mesh networks. These algorithms can be classified into three categ...
179
click to vote
CRYPTO
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
197
click to vote
EGOV
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Pseudonymization is sometimes used as a light-weight alternative to fully cryptographic solutions, when information from different data sources needs to be linked in a p...