8190 search results - page 27 / 1638 » From Timed to Hybrid Systems |
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
CC
2006
Springer
13 years 11 months ago
2006
Springer
We introduce a new class of compiler heuristics: hybrid optimizations. Hybrid optimizations choose dynamically at compile time which optimization algorithm to apply from a set of d...
ICALT
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we explore the idea of Intelligent Learning Environment (ILE) by building a system for teaching and learning music in a web-based environment. Our system is a frame...
TAL
2004
Springer
14 years 25 days ago
2004
Springer
In the current European scenario, characterized by the coexistence of communities writing and speaking a great variety of languages, machine translation has become a technology of ...
BIOINFORMATICS
2004
13 years 7 months ago
2004
