488 search results - page 48 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
177
click to vote
SIGMOD
2007
ACM
15 years 11 months ago
2007
ACM
Managing uncertain data using probabilistic frameworks has attracted much interest lately in the database literature, and a central computational challenge is probabilistic infere...
107
click to vote
ICWE
2003
Springer
15 years 4 months ago
2003
Springer
This work presents a research on the methods and mechanisms necessary to bring the Information and Communication Technologies in the traditional classroom. This will be achieved by...
AGI
2008
15 years 18 days ago
2008
Abstract. An artificial system that achieves human-level performance on opendomain tasks must have a huge amount of knowledge about the world. We argue that the most feasible way t...
FM
2008
Springer
15 years 20 days ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
111
click to vote
FLAIRS
2008
15 years 1 months ago
2008
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...