Sciweavers

3768 search results - page 187 / 754
» Knowledge and Information in Probabilistic Systems
Sort
View
FSTTCS
2007
Springer
16 years 20 days ago
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
Judicaël Courant, Cristian Ene, Yassine Lakhn...
SIGMOD
2012
ACM
212views Database» more  SIGMOD 2012»
13 years 9 months ago
Local structure and determinism in probabilistic databases
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
Theodoros Rekatsinas, Amol Deshpande, Lise Getoor
NIPS
2004
15 years 7 months ago
Beat Tracking the Graphical Model Way
We present a graphical model for beat tracking in recorded music. Using a probabilistic graphical model allows us to incorporate local information and global smoothness constraint...
Dustin Lang, Nando de Freitas
HICSS
2008
IEEE
237views Biometrics» more  HICSS 2008»
16 years 29 days ago
Integration of an Ontological Information Security Concept in Risk Aware Business Process Management
Abstract— The ability to prevent risks as well as to appropriately counteract occurring threats has increasingly become a crucial success factor. Traditional business process man...
Gernot Goluch, Andreas Ekelhart, Stefan Fenz, Stef...
ROBOCUP
2005
Springer
115views Robotics» more  ROBOCUP 2005»
15 years 12 months ago
3D Mapping with Semantic Knowledge
Abstract. A basic task of rescue robot systems is mapping of the environment. Localizing injured persons, guiding rescue workers and excavation equipment requires a precise 3D map ...
Andreas Nüchter, Oliver Wulf, Kai Lingemann, ...