3259 search results - page 403 / 652 » Modeling Autonomous-System Relationships |
143
click to vote
ICRA
2009
IEEE
16 years 24 days ago
2009
IEEE
— Humans and animals adapt their leg impedance during running for both internal(e.g. loading) and external(e.g. surface) changes. In this paper we examine the relationship betwee...
169
click to vote
AAIM
2009
Springer
16 years 23 days ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
166
click to vote
TRUST
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. ACPI (Advanced Configuration Power Interface) allows operating systems to efficiently configure the hardware platform they are running on and deal with power management...
143
click to vote
CONCUR
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-sp...
175
click to vote
RSKT
2009
Springer
16 years 21 days ago
2009
Springer
A game-theoretic approach for learning optimal parameter values for probabilistic rough set regions is presented. The parameters can be used to define approximation regions in a p...