Sciweavers

4307 search results - page 246 / 862
» Dynamic Spyware Analysis
Sort
View
82
Voted
ICRA
2003
IEEE
98views Robotics» more  ICRA 2003»
15 years 6 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 ...
AGP
1999
IEEE
15 years 5 months ago
Freeness Analysis through Linear Refinement
Domains Decomposing Non-Redundant Sharing by Complementation . . . . . . . . . . . . . 69 Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Freeness Analysis Through Linear Refine...
Patricia M. Hill, Fausto Spoto
FMOODS
2007
15 years 2 months ago
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
Mark Hills, Grigore Rosu
179
Voted
AINA
2008
IEEE
15 years 7 months ago
Missing Value Estimation for Time Series Microarray Data Using Linear Dynamical Systems Modeling
The analysis of gene expression time series obtained from microarray experiments can be effectively exploited to understand a wide range of biological phenomena from the homeostat...
Connie Phong, Raul Singh
WSCG
2004
148views more  WSCG 2004»
15 years 2 months ago
Visualization of Dynamic Behaviour of Multi-Agent Systems
The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
David Rehor, Pavel Slavík, David Kadlecek, ...