4609 search results - page 827 / 922 » Automatic Generation of Sigma-Protocols |
161
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Objects in the world can be arranged into a hierarchy based on their semantic meaning (e.g. organism ? animal ? feline ? cat). What about defining a hierarchy based on the visual ...
169
click to vote
MICCAI
2002
Springer
16 years 6 months ago
2002
Springer
We propose a novel method for fully automated segmentation and tracking of the myocardium and left and right ventricles (LV and RV) using 4D MR images. The method uses non-rigid re...
138
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...
172
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
This paper studies the problem of extracting data from a Web page that contains several structured data records. The objective is to segment these data records, extract data items...
167
click to vote
STOC
2009
ACM
16 years 6 months ago
2009
ACM
The price of anarchy (POA) is a worst-case measure of the inefficiency of selfish behavior, defined as the ratio of the objective function value of a worst Nash equilibrium of a g...