Sciweavers

5170 search results - page 252 / 1034
» Consistency of the FastSLAM Algorithm
Sort
View
124
Voted
TIME
2006
IEEE
15 years 7 months ago
Ultimately Periodic Simple Temporal Problems (UPSTPs)
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
Jean-François Condotta, Gérard Ligoz...
WAIM
2005
Springer
15 years 7 months ago
Similarity Search with Implicit Object Features
Driven by many real applications, in this paper we study the problem of similarity search with implicit object features; that is, the features of each object are not pre-computed/e...
Yi Luo, Zheng Liu, Xuemin Lin, Wei Wang 0011, Jeff...
ECRTS
2003
IEEE
15 years 7 months ago
Hardware-Based Solution Detecting Illegal References in Real-Time Java
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
M. Teresa Higuera-Toledano
SWAT
2010
Springer
260views Algorithms» more  SWAT 2010»
15 years 6 months ago
Isomorphism for Graphs of Bounded Feedback Vertex Set Number
This paper presents an O(n2 ) algorithm for deciding isomorphism of graphs that have bounded feedback vertex set number. This number is defined as the minimum number of vertex de...
Stefan Kratsch, Pascal Schweitzer
CDC
2009
IEEE
128views Control Systems» more  CDC 2009»
15 years 6 months ago
Iterative solutions to matrix equations of form
— To solve systems of linear matrix equations A1XB1 = F1 and A2XB2 = F2, we present iterative algorithms to get the solutions. For any initial value, we prove that the iterative ...
Jie Ding, Yanjun Liu, Feng Ding