Sciweavers

3778 search results - page 439 / 756
» Representing Web Graphs
Sort
View
WOLLIC
2007
Springer
16 years 23 days ago
Hydra Games and Tree Ordinals
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordi...
Ariya Isihara
IROS
2006
IEEE
132views Robotics» more  IROS 2006»
16 years 21 days ago
Closing a Million-Landmarks Loop
— We present an improved version of the treemap SLAM algorithm which uses Cholesky factors for representing Gaussians and a Hierarchical Tree Partitioning algorithm derived from ...
Udo Frese, Lutz Schroder
IAT
2005
IEEE
16 years 8 days ago
Decomposition Techniques for a Loosely-Coupled Resource Allocation Problem
We are interested by contributing to stochastic problems of which the main distinction is that some tasks may create other tasks. In particular, we present a first approach which...
Pierrick Plamondon, Brahim Chaib-draa, Abder Rezak...
DATE
2003
IEEE
104views Hardware» more  DATE 2003»
15 years 12 months ago
Symbolic Analysis of Nonlinear Analog Circuits
A new method is presented to model symbolically strongly nonlinear circuits, characterized by Piece-Wise Linear (PWL) functions. The method follows the idea of Bokhoven and Leenae...
Alicia Manthe, Zhao Li, C.-J. Richard Shi, Kartike...
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 11 months ago
Stiffness matrix and quantitative measure of formation rigidity
— Rigidity of formation is an importance concept in multi-agent localization and control problems. There are welldeveloped existing methods to test the rigidity of a given graph....
Guangwei Zhu, Jianghai Hu