488 search results - page 84 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
AIME
2009
Springer
15 years 3 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...
CIKM
2009
Springer
15 years 3 months ago
2009
Springer
This paper describes a hidden Markov model (HMM) based approach to perform search interface segmentation. Automatic processing of an interface is a must to access the invisible co...
ITS
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
151
click to vote
SIGMOD
2004
ACM
15 years 11 months ago
2004
ACM
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...
ACMACE
2006
ACM
15 years 5 months ago
2006
ACM
In recent years 3D virtual characters have become more common in desktop interfaces, particularly in gaming and entertainment applications. In this paper we describe how augmented...