Sciweavers

5164 search results - page 152 / 1033
» Consistency of the EKF-SLAM Algorithm
Sort
View
110
Voted
TFS
2008
109views more  TFS 2008»
14 years 11 months ago
Comments on "Fuzzy Probabilistic Approximation Spaces and Their Information Measures"
Some errors in our original paper in defining relative reduct with information measures are pointed out in this paper. It is shown that in our original work, Theorems 10 and 19 hol...
Qinghua Hu, Zongxia Xie, Daren Yu
129
Voted
DATESO
2009
121views Database» more  DATESO 2009»
14 years 10 months ago
Translation of Ontology Retrieval Problem into Relational Queries
Ontology as a knowledge base can provide different reasoning tasks, e.g. to check consistency of the ontology or to check whether a resource is instance of a concept or not. In thi...
Jaroslav Pokorný, Jana Pribolová, Pe...
102
Voted
ENDM
2010
103views more  ENDM 2010»
14 years 10 months ago
Structural Analysis for Differential-Algebraic Systems: Complexity, Formulation and Facets
In this paper we consider the structural analysis problem for differential-algebraic systems with conditional equations. This consists, given a conditional differential algebraic ...
Mathieu Lacroix, Ali Ridha Mahjoub, Sébasti...
118
Voted
COLING
2010
14 years 7 months ago
Automatic analysis of semantic similarity in comparable text through syntactic tree matching
We propose to analyse semantic similarity in comparable text by matching syntactic trees and labeling the alignments according to one of five semantic similarity relations. We pre...
Erwin Marsi, Emiel Krahmer
95
Voted
MOC
2010
14 years 7 months ago
Choosing the correct elliptic curve in the CM method
We give an elementary way to distinguish between the twists of an ordinary elliptic curve E over Fp in order to identify the one with p+1-2U points, when p = U2 + dV 2 with 2U, 2V ...
Karl Rubin, Alice Silverberg