Sciweavers

157 search results - page 7 / 32
» Tackling Post's Correspondence Problem
Sort
View
BIRTHDAY
2005
Springer
14 years 27 days ago
Primitive Rewriting
Undecidability results in rewriting have usually been proved by reduction from undecidable problems of Turing machines or, more recently, from Post’s Correspondence Problem. Ano...
Nachum Dershowitz
CDC
2009
IEEE
170views Control Systems» more  CDC 2009»
14 years 2 days ago
Adaptive constraint-filtering method and its application to GPS positioning
—To deal with the estimation problem for systems subject to constraints while the corresponding noise processes are not completely known, the adaptive constraint-filtering method...
Tsai-Hsin Chang, Li-Sheng Wang, Fan-Ren Chang
CVPR
2010
IEEE
13 years 11 months ago
Compression of Surface Registration using Beltrami Coefficients
Surface registration is widely used in machine vision and medical imaging, where 1-1 correspondences between surfaces are computed to study their variations. Surface maps are usua...
Lok Ming Lui
CSMR
2005
IEEE
14 years 29 days ago
Discovering Unanticipated Dependency Schemas in Class Hierarchies
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
Gabriela Arévalo, Stéphane Ducasse, ...
ICDM
2008
IEEE
99views Data Mining» more  ICDM 2008»
14 years 1 months ago
One-Class Collaborative Filtering
: © One-Class Collaborative Filtering Rong Pan, Yunhong Zhou, Bin Cao, Nathan N. Liu, Rajan Lukose, Martin Scholz, Qiang Yang HP Laboratories HPL-2008-133 collaborative filtering,...
Rong Pan, Yunhong Zhou, Bin Cao, Nathan Nan Liu, R...