Sciweavers

1274 search results - page 158 / 255
» Graph lambda theories
Sort
View
ICRA
2006
IEEE
124views Robotics» more  ICRA 2006»
14 years 3 months ago
Stereo based Obstacle Detection for an Unmanned Air Vehicle
— This paper presents the Visual Threat Awareness (VISTA) system for real time collision obstacle detection for an unmanned air vehicle (UAV). Computational stereo performance ha...
Jeffrey Byrne, Martin Cosgrove, Raman K. Mehra
VALUETOOLS
2006
ACM
176views Hardware» more  VALUETOOLS 2006»
14 years 3 months ago
How to solve large scale deterministic games with mean payoff by policy iteration
Min-max functions are dynamic programming operators of zero-sum deterministic games with finite state and action spaces. The problem of computing the linear growth rate of the or...
Vishesh Dhingra, Stephane Gaubert
EUROPAR
2004
Springer
14 years 2 months ago
A Coarse-Grained Parallel Algorithm for Spanning Tree and Connected Components
Computing a spanning tree and the connected components of a graph are basic problems in Graph Theory and arise as subproblems in many applications. Dehne et al. present a BSP/CGM a...
Edson Norberto Cáceres, Frank K. H. A. Dehn...
SC
2003
ACM
14 years 2 months ago
Synthesizing Realistic Computational Grids
Realistic workloads are essential in evaluating middleware for computational grids. One important component is the raw grid itself: a network topology graph annotated with the har...
Dong Lu, Peter A. Dinda
STACS
1994
Springer
14 years 1 months ago
Reachability and the Power of Local Ordering
The L ? = NL question remains one of the major unresolved problems in complexity theory. Both L and NL have logical characterizations as the sets of totally ordered ( ) structures...
Kousha Etessami, Neil Immerman