Sciweavers

601 search results - page 104 / 121
» CSP(M): Constraint Satisfaction Problem over Models
Sort
View
ICIP
2010
IEEE
14 years 7 months ago
Restoration of images and 3D data to higher resolution by deconvolution with sparsity regularization
Image convolution is conventionally approximated by the LTI discrete model. It is well recognized that the higher the sampling rate, the better is the approximation. However somet...
Yingsong Zhang, Nick G. Kingsbury
ICLP
2010
Springer
15 years 1 months ago
Tight Semantics for Logic Programs
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
Luís Moniz Pereira, Alexandre Miguel Pinto
75
Voted
WWW
2004
ACM
15 years 10 months ago
Semantic email
This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message co...
Luke McDowell, Oren Etzioni, Alon Y. Halevy, Henry...
78
Voted
CVPR
2001
IEEE
15 years 11 months ago
Tracking of Object with SVM Regression
This paper presents a novel feature-matching based approach for rigid object tracking. The proposed method models the tracking problem as discovering the affine transforms of obje...
Weiyu Zhu, Song Wang, Ruei-Sung Lin, Stephen E. Le...
COMGEO
2004
ACM
14 years 9 months ago
Tiling space and slabs with acute tetrahedra
We show it is possible to tile three-dimensional space using only tetrahedra with acute dihedral angles. We present several constructions to achieve this, including one in which a...
David Eppstein, John M. Sullivan, Alper Üng&o...