Sciweavers

1721 search results - page 73 / 345
» The fundamentals of hybrid systems modelers
Sort
View
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
15 years 1 months ago
Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...
Alex Bobrek, Joshua J. Pieper, Jeffrey E. Nelson, ...
ICASSP
2011
IEEE
14 years 1 months ago
Uncover cooperative gene regulations by microRNAs and transcription factors in glioblastoma using a nonnegative hybrid factor mo
—Transcriptional regulation by transcription factors (TFs) and microRNAs controls when and how much RNA is created. Due to technical limitations, the protein level expressions of...
Jia Meng, Hung-I Harry Chen, Jianqiu Zhang, Yidong...
ICRA
2003
IEEE
98views Robotics» more  ICRA 2003»
15 years 3 months ago
Towards a Factored Analysis of Legged Locomotion Models
In this paper, we report on a new stability analysis for hybrid legged locomotion systems based on factorization of return maps. We apply this analysis to a family of models of th...
Richard Altendorfer, Daniel E. Koditschek, Philip ...
ATAL
2006
Springer
15 years 1 months ago
A stochastic language for modelling opponent agents
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
Gerardo I. Simari, Amy Sliva, Dana S. Nau, V. S. S...
AAAI
2006
14 years 11 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