1415 search results - page 111 / 283 » Verified systems by composition from verified components |
171
click to vote
FGR
2008
IEEE
16 years 26 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ļ¬...
142
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper validates a recognition system using bidimensional wavelet transforms as feature extractor and investigates the relevance of each subband image in the recognition proce...
187
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...
137
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...
153
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...