Sciweavers

2922 search results - page 379 / 585
» On Relationships Between Query Models
Sort
View
ICRA
2009
IEEE
303views Robotics» more  ICRA 2009»
14 years 5 months ago
Dynamic stability of variable stiffness running
— 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...
Jae Yun Jun, Jonathan E. Clark
AAIM
2009
Springer
101views Algorithms» more  AAIM 2009»
14 years 5 months ago
Integer Polyhedra for Program Analysis
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...
Philip J. Charles, Jacob M. Howe, Andy King
TRUST
2009
Springer
14 years 5 months ago
ACPI: Design Principles and Concerns
Abstract. ACPI (Advanced Configuration Power Interface) allows operating systems to efficiently configure the hardware platform they are running on and deal with power management...
Loïc Duflot, Olivier Levillain, Benjamin Mori...
RSKT
2009
Springer
14 years 5 months ago
Learning Optimal Parameters in Decision-Theoretic Rough Sets
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...
Joseph P. Herbert, Jingtao Yao
HICSS
2007
IEEE
140views Biometrics» more  HICSS 2007»
14 years 5 months ago
Design Pattern Evolution and Verification Using Graph Transformation
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
Chunying Zhao, Jun Kong, Kang Zhang