3169 search results - page 447 / 634 » A General Framework for Large Scale Systems Development |
142
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Most current 3D face recognition algorithms are designed based on the data collected in controlled situations, which leads to the un-guaranteed performance in practical systems. I...
142
Voted
WWW
2006
ACM
16 years 5 months ago
2006
ACM
In a dynamic service oriented environment it is desirable for service consumers and providers to offer and obtain guarantees regarding their capabilities and requirements. WS-Agre...
128
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
146
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...
161
click to vote
AVSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Visual surveillance in outdoor environments requires the monitoring of both objects and events. The analysis is generally driven by the target application which, in turn, determin...