1054 search results - page 58 / 211 » From a Verified Kernel towards Verified Systems |
165
click to vote
FGR
2008
IEEE
16 years 18 days ago
2008
IEEE
Face recognition in the presence of pose changes remains a largely unsolved problem. Severe pose changes, resulting in dramatically different appearances, is one of the main difļ¬...
178
click to vote
IWQOS
2004
Springer
15 years 11 months ago
2004
Springer
ā We propose a rank-based peer-selection mechanism for peer-to-peer media streaming systems. The mechanism provides incentives for cooperation through service differentiation. Co...
148
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical veriļ¬cation of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodesāwh...
179
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
182
click to vote
3DIM
2001
IEEE
15 years 9 months ago
2001
IEEE
In this paper, we present a method for automatically creating a 3D model of a scene from a set of range images obtained from unknown viewpoints. Existing 3D modeling approaches re...