Sciweavers

448 search results - page 67 / 90
» Obstacle avoidance in formation
Sort
View
CORR
1999
Springer
120views Education» more  CORR 1999»
15 years 1 months ago
A Machine-Independent Debugger--Revisited
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
David R. Hanson
FORMATS
2010
Springer
14 years 12 months ago
Layered Composition for Timed Automata
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
Ernst-Rüdiger Olderog, Mani Swaminathan
ICPR
2006
IEEE
16 years 3 months ago
A Split & Merge Approach to Metric-Topological Map-Building
We present a novel split and merge based method for dividing a given metric map into distinct regions, thus effectively creating a topological map on top of a metric one. The init...
ICCAD
2001
IEEE
102views Hardware» more  ICCAD 2001»
15 years 10 months ago
Simulation-Based Automatic Generation of Signomial and Posynomial Performance Models for Analog Integrated Circuit Sizing
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...
Walter Daems, Georges G. E. Gielen, Willy M. C. Sa...
ADMI
2009
Springer
15 years 8 months ago
Agent-Enriched Data Mining Using an Extendable Framework
An extendable and generic Agent Enriched Data Mining (AEDM) framework, EMADS (the Extendable Multi-Agent Data mining System) is described. The central feature of the framework is ...
Kamal Ali Albashiri, Frans Coenen