4099 search results - page 437 / 820 » A Framework for Interactive Proof |
194
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we develop a recommendation framework to connect image content with communities in online social media. The problem is important because users are looking for useful...
209
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Structure from motion (SFM) aims at jointly recovering the structure of a scene as a collection of 3D points and estimating the camera poses from a number of input images. In this...
196
click to vote
VIS
2005
IEEE
16 years 8 months ago
2005
IEEE
We study the problem of visualizing large networks and develop es for effectively abstracting a network and reducing the size to a level that can be clearly viewed. Our size reduc...
300
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
295
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...