Sciweavers

7978 search results - page 1254 / 1596
» Representation before computation
Sort
View
ACCV
2007
Springer
16 years 29 days ago
Palmprint Recognition Under Unconstrained Scenes
This paper presents a novel real-time palmprint recognition system for cooperative user applications. This system is the first one achieving noncontact capturing and recognizing pa...
Yufei Han, Zhenan Sun, Fei Wang, Tieniu Tan
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 29 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
ECSQARU
2007
Springer
16 years 28 days ago
Syntactic Propositional Belief Bases Fusion with Removed Sets
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
Julien Hué, Odile Papini, Eric Würbel
HUMO
2007
Springer
16 years 28 days ago
Robust Spectral 3D-Bodypart Segmentation Along Time
Abstract. In this paper we present a novel tool for body-part segmentation and tracking in the context of multiple camera systems. Our goal is to produce robust motion cues over ti...
Fabio Cuzzolin, Diana Mateus, Edmond Boyer, Radu H...
ICTCS
2007
Springer
16 years 28 days ago
Analyzing Non-Interference with respect to Classes
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
Damiano Zanardini
« Prev « First page 1254 / 1596 Last » Next »