Sciweavers

12459 search results - page 382 / 2492
» cans 2006
Sort
View
CSL
2006
Springer
15 years 10 months ago
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic
In a previous work we introduced Dual Light Affine Logic (DLAL) ([BT04]) as a variant of Light Linear Logic suitable for guaranteeing complexity properties on lambda-calculus terms...
Vincent Atassi, Patrick Baillot, Kazushige Terui
DAGM
2006
Springer
15 years 10 months ago
Robust Variational Segmentation of 3D Objects from Multiple Views
We propose a probabilistic formulation of 3D segmentation given a series of images from calibrated cameras. Instead of segmenting each image separately in order to build a 3D surfa...
Kalin Kolev, Thomas Brox, Daniel Cremers
DIAL
2006
IEEE
129views Image Analysis» more  DIAL 2006»
15 years 10 months ago
Ink recognition based on statistical classification methods
Statistical classification methods can be applied on images of historical manuscript in order to characterize the various kinds of inks used. As these methods do not require destr...
Vasiliki Kokla, Alexandra Psarrou, Vassilis Konsta...
DSOM
2006
Springer
15 years 10 months ago
Uncertainty in Global Application Services with Load Sharing Policy
Abstract. With many organizations now employing multiple data centres around the world to share global traffic load, it is important to understand the effects of geographical distr...
Mark Burgess, Sven Ingebrigt Ulland
ECAI
2006
Springer
15 years 10 months ago
Text Sampling and Re-Sampling for Imbalanced Authorship Identification Cases
Authorship identification can be seen as a single-label multi-class text categorization problem. Very often, there are extremely few training texts at least for some of the candida...
Efstathios Stamatatos