9067 search results - page 784 / 1814 » Adaptive Model Checking |
176
click to vote
JCS
2011
15 years 2 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
288
click to vote
ICIP
2009
IEEE
15 years 5 months ago
2009
IEEE
Night surveillance is a challenging task because of low brightness, low contrast, low Signal to Noise Ratio (SNR) and low appearance information. Most existing models for night su...
175
click to vote
AIEDU
2007
15 years 7 months ago
2007
Recently, opening the learner model to the learner it represents has become more common in adaptive learning environments. There have also been systems that allow instructors acces...
207
click to vote
NAACL
2001
15 years 9 months ago
2001
In automatic speech recognition (ASR) enabled applications for medical dictations, corpora of literal transcriptions of speech are critical for training both speaker independent a...
250
click to vote
MHCI
2004
Springer
16 years 29 days ago
2004
Springer
Developing personalized applications for the ubiquitous Web assumes to provide different user interfaces addressing heterogeneous capabilities of device classes. Major problems are...