1938 search results - page 356 / 388 » Dependable Software |
129
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
128
click to vote
PAMI
2012
13 years 2 months ago
2012
—There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. A context mod...
137
click to vote
PAMI
2012
13 years 2 months ago
2012
—We propose a probabilistic formulation of joint silhouette extraction and 3D reconstruction given a series of calibrated 2D images. Instead of segmenting each image separately i...
141
click to vote
PAMI
2012
13 years 2 months ago
2012
— Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchi...
120
click to vote
EUROSYS
2006
ACM
15 years 9 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...