Sciweavers

4192 search results - page 630 / 839
» Probabilistic Logic Programming
Sort
View
149
Voted
CORR
2010
Springer
186views Education» more  CORR 2010»
15 years 3 months ago
A Homogeneous Reaction Rule Language for Complex Event Processing
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
Adrian Paschke, Alexander Kozlenkov, Harold Boley
160
Voted
TACAS
2012
Springer
275views Algorithms» more  TACAS 2012»
13 years 11 months ago
Pushdown Model Checking for Malware Detection
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
Fu Song, Tayssir Touili
139
Voted
ICIP
2007
IEEE
16 years 5 months ago
Semantics-Based Video Indexing using a Stochastic Modeling Approach
Semantic video indexing is the first step towards automatic video retrieval and personalization. We propose a data-driven stochastic modeling approach to perform both video segmen...
Yong Wei, Suchendra M. Bhandarkar, Kang Li
135
Voted
ICALP
2001
Springer
15 years 8 months ago
Secure Games with Polynomial Expressions
Abstract. We present the first private information retrieval (PIR) scheme which is both, deterministically correct and has poly-logarithmic communication complexity. Our PIR proto...
Aggelos Kiayias, Moti Yung
PAPM
2001
Springer
107views Mathematics» more  PAPM 2001»
15 years 8 months ago
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter ...