4693 search results - page 148 / 939 » Verifying Hybrid Systems |
310
click to vote
PERVASIVE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...
151
click to vote
ICIAP
2007
ACM
16 years 5 months ago
2007
ACM
In this paper, we propose a computational scheme named an interval-based linear hybrid dynamical system (ILHDS) to represent complex dynamic events based on temporal intervals, ea...
123
Voted
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Signals and systems lab courses that are currently offered at many universities are mostly based on textbased programming languages and environments, in particular MATLAB. This pa...
143
Voted
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract- The complexity of the static scheduling problem on heterogeneous resources has motivated the development of low complexity heuristics such as list scheduling. However, th...
131
click to vote
GIAE
2004
Springer
15 years 10 months ago
2004
Springer
Camera pose estimation is the problem of determining the position and orientation of an internally calibrated camera from known 3D reference points and their images. We introduce a...