Sciweavers

972 search results - page 27 / 195
» presence 2007
Sort
View
CVPR
2007
IEEE
15 years 11 months ago
Tree-based Classifiers for Bilayer Video Segmentation
This paper presents an algorithm for the automatic segmentation of monocular videos into foreground and background layers. Correct segmentations are produced even in the presence ...
Pei Yin, Antonio Criminisi, John M. Winn, Irfan A....
BIBE
2007
IEEE
154views Bioinformatics» more  BIBE 2007»
15 years 3 months ago
A Compartmentalized Approach to the Assembly of Physical Maps
We propose a novel compartmentalized method for the assembly of physical maps from fingerprinted clones. Our assembler exploits the presence of genetic markers at the global leve...
Serdar Bozdag, Timothy J. Close, Stefano Lonardi
AUSAI
2007
Springer
15 years 3 months ago
Characterising Deadlines in Temporal Modal Defeasible Logic
Abstract. We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the f...
Guido Governatori, Joris Hulstijn, Régis Ri...
TGC
2007
Springer
15 years 3 months ago
Computational Soundness of Equational Theories (Tutorial)
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
Steve Kremer
AINA
2007
IEEE
15 years 1 months ago
Distance Learning in Tele-Immersion Environment
Distance education using the high-resolution video image has become popular according to the expansion of broadband networks. However, conventional distance learning systems lack ...
Tetsuro Ogi, Hiroaki Sakon