Sciweavers

650 search results - page 88 / 130
» Positive graphs
Sort
View
CDC
2009
IEEE
161views Control Systems» more  CDC 2009»
14 years 2 months ago
Consensus on homogeneous manifolds
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...
Alain Sarlette, Rodolphe Sepulchre
SSPR
1998
Springer
14 years 2 months ago
Tracking of Rotating Objects
Abstract. A representation of a three-dimensional object is autonomously learned from a sequence of the rotating object. The representation consists of single views in form of grap...
Gabriele Peters, Christian Eckes, Christoph von de...
CAV
2010
Springer
153views Hardware» more  CAV 2010»
14 years 1 months ago
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gog...
IPPS
1995
IEEE
14 years 1 months ago
Performance evaluation of a new parallel preconditioner
The linear systems associated with large, sparse, symmetric, positive definite matrices are often solved iteratively using the preconditioned conjugate gradient method. We have d...
Keith D. Gremban, Gary L. Miller, Marco Zagha
WSC
2007
14 years 6 days ago
Requirements and design principles for multisimulation with multiresolution, multistage multimodels
The significance of simulation modeling at multiple levels, scales, and perspectives is well recognized. However, existing proposals for developing such models are often applicati...
Levent Yilmaz, Alvin Lim, Simon Bowen, Tuncer I. &...