8190 search results - page 277 / 1638 » From Timed to Hybrid Systems |
145
Voted
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
A local Spanish company that produces electric heaters needs an energy saving device to be integrated with the heaters. It was proven that a hybrid artificial intelligent systems (...
178
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
185
click to vote
ISPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we present the runtime architecture of the OMPi OpenMP compiler. OMPi is a source-to-source C translator featuring a portable, modular and extensible runtime system. ...
150
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Sight-reading is the ability to read and perform music from a written score with little or no preparation. Though an integral part of musicianship, it is rarely or minimally addre...
164
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper addresses the problem of localizing a source from noisy time-of-arrival measurements. In particular, we are interested in the optimal placement of M planar sensors s...