Sciweavers

3758 search results - page 323 / 752
» A Complete Subsumption Algorithm
Sort
View
ACSC
2001
IEEE
15 years 10 months ago
Alias Analysis On Type Inference For Class Hierarchy In Java
The integration of alias analysis with type information increases the precision of alias detection, especially for inheritance among classes. This paper presents a compile-time fl...
Jongwook Woo, Jean-Luc Gaudiot, Isabelle Attali, D...
ICCV
1995
IEEE
15 years 10 months ago
Recovering Object Surfaces from Viewed Changes in Surface Texture Patterns
This paper explores the reconstruction of object surfaces from viewed changes in surface texture patterns. Our approach differs from those in the past in that instead of simply pr...
Peter N. Belhumeur, Alan L. Yuille
ECML
2005
Springer
15 years 8 months ago
Clustering and Metaclustering with Nonnegative Matrix Decompositions
Although very widely used in unsupervised data mining, most clustering methods are affected by the instability of the resulting clusters w.r.t. the initialization of the algorithm ...
Liviu Badea
COCO
2008
Springer
88views Algorithms» more  COCO 2008»
15 years 8 months ago
Approximation of Natural W[P]-Complete Minimisation Problems Is Hard
We prove that the weighted monotone circuit satisfiability problem has no fixed-parameter tractable approximation algorithm with constant or polylogarithmic approximation ratio un...
Kord Eickmeyer, Martin Grohe, Magdalena Grübe...
EDBT
2008
ACM
133views Database» more  EDBT 2008»
15 years 8 months ago
Action synchronization in P2P system testing
Testing peer-to-peer (P2P) systems is difficult because of the high numbers of nodes which can be heterogeneous and volatile. A test case may be composed of several ordered action...
Eduardo Cunha de Almeida, Gerson Sunyé, Pat...