8190 search results - page 1608 / 1638 » From Timed to Hybrid Systems |
137
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
A discrete distribution D over Σ1 × · · · × Σn is called (non-uniform) k-wise independent if for any set of k indexes {i1, . . . , ik} and for any z1 ∈ Σi1 , . . . , zk ...
135
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...
106
click to vote
AIME
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Mechanical ventilation can cause severe lung damage by inadequate adjustment of the ventilator. We introduce a Machine Learning approach to predict the pressure-dependent...
119
click to vote
INEX
2009
Springer
15 years 6 months ago
2009
Springer
This paper gives an overview of the INEX 2009 Ad Hoc Track. The main goals of the Ad Hoc Track were three-fold. The first goal was to investigate the impact of the collection scal...
125
click to vote
ICCBR
2001
Springer
15 years 6 months ago
2001
Springer
It is useful for an intelligent software agent to be able to adapt to new demands from an environment. Such adaptation can be viewed as a redesign problem; an agent has some origin...