Sciweavers

1187 search results - page 143 / 238
» Graph-Based Procedural Abstraction
Sort
View
PKDD
2010
Springer
160views Data Mining» more  PKDD 2010»
15 years 10 days ago
Sparse Unsupervised Dimensionality Reduction Algorithms
Abstract. Principal component analysis (PCA) and its dual—principal coordinate analysis (PCO)—are widely applied to unsupervised dimensionality reduction. In this paper, we sho...
Wenjun Dou, Guang Dai, Congfu Xu, Zhihua Zhang
PRICAI
2010
Springer
15 years 9 days ago
Partial Weighted MaxSAT for Optimal Planning
Abstract. We consider the problem of computing optimal plans for propositional planning problems with action costs. In the spirit of leveraging advances in general-purpose automate...
Nathan Robinson, Charles Gretton, Duc Nghia Pham, ...
DLOG
2010
14 years 12 months ago
Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms
Abstract. This paper investigates Description Logics which allow transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. First,...
Chan Le Duc, Myriam Lamolle
ISVC
2010
Springer
14 years 12 months ago
Computer-Assisted Creation of 3D Models of Freeway Interchanges
Abstract. Several existing procedural modeling systems are able to generate large 3D models of cities. However, none of these systems can automatically create 3D models of freeways...
Soon Tee Teoh
LPAR
2010
Springer
14 years 11 months ago
Disunification for Ultimately Periodic Interpretations
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
Matthias Horbach