2266 search results - page 238 / 454 » Generalizing parametric timing analysis |
113
Voted
ISMAR
2009
IEEE
15 years 7 months ago
2009
IEEE
Augmented reality applications often rely on a detailed environment model to support features such as annotation and occlusion. Usually, such a model is constructed offline, whic...
121
Voted
ECMDAFA
2009
Springer
15 years 7 months ago
2009
Springer
Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. Models are used in various contexts, where the possibili...
90
Voted
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
The generation of profitable trading rules for Foreign Exchange (FX) investments is a difficult but popular problem. The use of Machine Learning in this problem allows us to obtai...
HASKELL
2009
ACM
15 years 7 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
78
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...