Sciweavers

1529 search results - page 133 / 306
» Energy-Based Models of P Systems
Sort
View
HYBRID
2003
Springer
15 years 9 months ago
Hybrid Control Design for a Wheeled Mobile Robot
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
Thomas Bak, Jan Bendtsen, Anders P. Ravn
125
Voted
EICS
2009
ACM
15 years 7 months ago
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
Philippe A. Palanque, Marco Winckler, Jean-Fran&cc...
AIME
2007
Springer
15 years 10 months ago
Inference in the Promedas Medical Expert System
Abstract. In the current paper, the Promedas model for internal medicine, developed by our team, is introduced. The model is based on up-todate medical knowledge and consists of ap...
Bastian Wemmenhove, Joris M. Mooij, Wim Wiegerinck...
117
Voted
CAV
2006
Springer
129views Hardware» more  CAV 2006»
15 years 7 months ago
Languages of Nested Trees
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
165
Voted
WSC
2007
15 years 6 months ago
Kriging metamodeling in constrained simulation optimization: an explorative study
This paper describes two experiments exploring the potential of the Kriging methodology for constrained simulation optimization. Both experiments study an (s, S) inventory system ...
William E. Biles, Jack P. C. Kleijnen, Wim C. M. V...