6960 search results - page 992 / 1392 » Continuity Analysis of Programs |
130
Voted
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
155
Voted
ETRA
2008
ACM
15 years 6 months ago
2008
ACM
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...
172
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
135
click to vote
IMC
2007
ACM
15 years 6 months ago
2007
ACM
As the utility of wireless technology grows, wireless networks are being deployed in more widely varying conditions. The monitoring of these networks continues to reveal key imple...
146
Voted
APVIS
2008
15 years 6 months ago
2008
The widespread use of mobile devices brings opportunities to capture large-scale, continuous information about human behavior. Mobile data has tremendous value, leading to busines...