Sciweavers

197 search results - page 25 / 40
» A Framework for Combining Rules and Geo-ontologies
Sort
View
CAD
2006
Springer
14 years 11 months ago
A unified subdivision approach for multi-dimensional non-manifold modeling
This paper presents a new unified subdivision scheme that is defined over a k-simplicial complex in n-D space with k 3. We first present a series of definitions to facilitate top...
Yu-Sung Chang, Hong Qin
CSL
2010
Springer
15 years 24 days ago
Embedding Deduction Modulo into a Prover
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
Guillaume Burel
ISIPTA
2005
IEEE
125views Mathematics» more  ISIPTA 2005»
15 years 5 months ago
Evidential modeling for pose estimation
Pose estimation involves reconstructing the configuration of a moving body from images sequences. In this paper we present a general framework for pose estimation of unknown obje...
Fabio Cuzzolin, Ruggero Frezza
MLDM
2009
Springer
15 years 4 months ago
Selection of Subsets of Ordered Features in Machine Learning
The new approach of relevant feature selection in machine learning is proposed for the case of ordered features. Feature selection and regularization of decision rule are combined ...
Oleg Seredin, Andrey Kopylov, Vadim Mottl
GIR
2007
ACM
15 years 3 months ago
Building place ontologies for the semantic web: : issues and approaches
Place geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. ...
Alia I. Abdelmoty, Philip D. Smart, Christopher B....