Sciweavers

527 search results - page 53 / 106
» Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
Sort
View
TROB
2010
127views more  TROB 2010»
13 years 7 months ago
Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning
—To efficiently solve challenging motion-planning problems with dynamics, this paper proposes treating motion planning not just as a search problem in a continuous space but as ...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
AAAI
2006
13 years 10 months ago
A Causal Analysis Method for Concurrent Hybrid Automata
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
Michael W. Hofbaur, Franz Wotawa
AAAI
2008
13 years 11 months ago
A Neuro-Fuzzy Strategy for Web Personalization
In this paper, we propose the use of a neuro-fuzzy strategy to develop a Web personalization framework for the dynamic suggestion of URLs retained interesting for the currently co...
Giovanna Castellano, Anna Maria Fanelli, Paola Pla...
WSC
1997
13 years 10 months ago
A Hybrid Tool for the Performance Evaluation of NUMA Architectures
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
James Westall, Robert Geist
HYBRID
2001
Springer
14 years 1 months ago
Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem
In this paper we address the problem of designing energy minimizing collision-free maneuvers for multiple agents moving on a plane. We show that the problem is equivalent to that o...
Jianghai Hu, Maria Prandini, Karl Henrik Johansson...