Sciweavers

1902 search results - page 191 / 381
» Differential Dynamic Logics
Sort
View
AAAI
2000
15 years 8 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
IJSSE
2010
121views more  IJSSE 2010»
15 years 3 months ago
Retrofitting Existing Web Applications with Effective Dynamic Protection Against SQL Injection Attacks
This paper presents an approach for retrofitting existing web applications with runtime protection against known as well as unseen SQL injection attacks (SQLIAs) without the invol...
San-Tsai Sun, Konstantin Beznosov
ICIP
2008
IEEE
16 years 1 months ago
Motion detection with an unstable camera
Fast and accurate motion detection in the presence of camera jitter is known to be a difficult problem. Existing statistical methods often produce abundant false positives since ...
Pierre-Marc Jodoin, Janusz Konrad, Venkatesh Salig...
IROS
2008
IEEE
141views Robotics» more  IROS 2008»
16 years 1 months ago
Kinodynamic gait planning for full-body humanoid robots
Abstract— This paper proposes the kinodynamic gait planning for humanoid robots where both kinematics and dynamics of the system are considered. We can simultaneously plan both t...
Kensuke Harada, Mitsuharu Morisawa, Kanako Miura, ...
MODELS
2007
Springer
16 years 23 days ago
Piecewise Modelling with State Subtypes
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...
Friedrich Steimann, Thomas Kühne