Sciweavers

5170 search results - page 139 / 1034
» Consistency of the FastSLAM Algorithm
Sort
View
96
Voted
IPL
2008
77views more  IPL 2008»
15 years 2 months ago
On the coordinator's rule for Fast Paxos
Fast Paxos is an algorithm for consensus that works by a succession of rounds, where each round tries to decide a value v that is consistent with all past rounds. Rounds are start...
Gustavo M. D. Vieira, Luiz Eduardo Buzato
151
Voted
DATESO
2009
121views Database» more  DATESO 2009»
15 years 13 days 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...
126
Voted
ENDM
2010
103views more  ENDM 2010»
15 years 17 hour 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...
135
Voted
COLING
2010
14 years 9 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
107
Voted
MOC
2010
14 years 9 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