Sciweavers

2838 search results - page 79 / 568
» Verifying Controlled Components
Sort
View
IEAAIE
2004
Springer
14 years 2 months ago
The Cognitive Controller: A Hybrid, Deliberative/Reactive Control Architecture for Autonomous Robots
Abstract. The Cognitive Controller (CoCo) is a new, three-tiered control architecture for autonomous agents that combines reactive and deliberative components. A behaviour-based re...
Faisal Qureshi, Demetri Terzopoulos, Ross Gillett
POLICY
2005
Springer
14 years 2 months ago
Adding Policy-Based Control to Mobile Hosts Switching between Streaming Proxies
We add a simple policy-based control component to mobile hosts that enables them to control the continuous reception of live multimedia content (e.g. a TV broadcast) while they sw...
Malohat Ibrohimovna Kamilova, Cristian Hesselman, ...
COMBINATORICA
2007
129views more  COMBINATORICA 2007»
13 years 9 months ago
Birth control for giants
The standard Erd˝os-Renyi model of random graphs begins with n isolated vertices, and at each round a random edge is added. Parametrizing n 2 rounds as one time unit, a phase tra...
Joel H. Spencer, Nicholas C. Wormald
ICPR
2008
IEEE
14 years 3 months ago
Text detection from scene images using sparse representation
A sparse representation based method is proposed for text detection from scene images. We start with edge information extracted using Canny operator and then group these edge poin...
Wumo Pan, Tien D. Bui, Ching Y. Suen
KBSE
1997
IEEE
14 years 1 months ago
Modular Flow Analysis for Concurrent Software
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
Matthew B. Dwyer