488 search results - page 28 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
COLT
1995
Springer
15 years 2 months ago
1995
Springer
We propose and analyze a distribution learning algorithm for a subclass of Acyclic Probabilistic Finite Automata (APFA). This subclass is characterized by a certain distinguishabi...
CCS
2006
ACM
15 years 2 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
IAJIT
2010
14 years 9 months ago
2010
: This paper presents a novel adaptive course composition system that based on mashing up learning content in a web application. The system includes three major components, static ...
102
click to vote
FLAIRS
2008
15 years 1 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
189
click to vote
ICDE
2006
IEEE
16 years 13 days ago
2006
IEEE
Until recently, most data integration techniques involved central components, e.g., global schemas, to enable transparent access to heterogeneous databases. Today, however, with t...