Sciweavers

891 search results - page 99 / 179
» Temporal Constraints: A Survey
Sort
View
SAT
2009
Springer
91views Hardware» more  SAT 2009»
16 years 22 days ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
CVPR
1997
IEEE
16 years 8 months ago
Stereo Coupled Active Contours
We consider how tracking in stereo may be enhanced by coupling pairs of active contours in different views via affine epipolar geometry and various subsets of planar affine transf...
Tat-Jen Cham, Roberto Cipolla
ICIP
1997
IEEE
16 years 7 months ago
Super-Resolution with Adaptive Regularization
Multi-channel super-resolution is a means of recovering high frequency information by trading off the temporal bandwidth. Almost all the methods proposed in the literature are bas...
Anne Lorette, Hassan Shekarforoush, Josiane Zerubi...
CVPR
2012
IEEE
13 years 8 months ago
Discovering discriminative action parts from mid-level video representations
We describe a mid-level approach for action recognition. From an input video, we extract salient spatio-temporal structures by forming clusters of trajectories that serve as candi...
Michalis Raptis, Iasonas Kokkinos, Stefano Soatto
ACL
2012
13 years 8 months ago
Labeling Documents with Timestamps: Learning from their Time Expressions
Temporal reasoners for document understanding typically assume that a document’s creation date is known. Algorithms to ground relative time expressions and order events often re...
Nathanael Chambers