955 search results - page 158 / 191 » Tractable Temporal Reasoning |
122
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
We initiate the study of an interesting aspect of sponsored search advertising, namely the consequences of broad match- a feature where an ad of an advertiser can be mapped to a b...
113
click to vote
IPAW
2010
14 years 9 months ago
2010
As more data (especially scientific data) is digitized and put on the Web, the importance of tracking and sharing its provenance metadata grows. Besides capturing the annotation pr...
130
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
169
click to vote
IJCV
2012
13 years 2 months ago
2012
The Hierarchical Conditional Random Field (HCRF) model have been successfully applied to a number of image labeling problems, including image segmentation. However, existing HCRF m...
CVPR
2001
IEEE
16 years 1 months ago
2001
IEEE
While stereo matching was originally formulated as the recovery of 3D shape from a pair of images, it is now generally recognized that using more than two images can dramatically ...