4609 search results - page 766 / 922 » Automatic Generation of Sigma-Protocols |
157
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents Vacuum Packing, a new approach to profile-based program optimization. Instead of using traditional aggregate or summarized execution profile weights, this ap...
163
click to vote
PARELEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Many practical applications generate irregular, nonbalanced divide-and-conquer trees which have different depths, possibly also different numbers of successors at different levels...
164
Voted
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a method for tracking human body motion from multiple views in real-time. The method extracts silhouettes in each view using background subtraction, and then ...
151
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
187
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Since most current scene understanding approaches operate
either on the 2D image or using a surface-based representation, they do
not allow reasoning about the physical constrain...