1902 search results - page 105 / 381 » Differential Dynamic Logics |
139
click to vote
EGH
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a physically-based, visually-realistic interactive cloud simulation. Clouds in our system are modeled using partial differential equations describing fluid mot...
178
click to vote
IDA
1999
Springer
15 years 9 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
123
click to vote
ACSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
Distributed Denial of Service (DDoS) attacks exploit the acute imbalance between client and server workloads to cause devastation to the service providers. We propose a distribute...
164
click to vote
IANDC
2008
15 years 5 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
123
Voted
JIRS
2006
15 years 5 months ago
2006
The paper presents a general framework for concurrent navigation and exploration of unknown environments based on discrete potential fields that guide the robot motion. These poten...