Sciweavers

3804 search results - page 386 / 761
» From Here to There
Sort
View
ICLP
2009
Springer
16 years 7 months ago
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
Miroslaw Truszczynski
173
Voted
ICIAP
2009
ACM
16 years 7 months ago
Pathnodes Integration of Standalone Particle Filters for People Tracking on Distributed Surveillance Systems
In this paper, we present a new approach to object tracking based on batteries of particle filter working in multicamera systems with non overlapped fields of view. In each view th...
Roberto Vezzani, Davide Baltieri, Rita Cucchiara
PKC
2009
Springer
180views Cryptology» more  PKC 2009»
16 years 7 months ago
Security of Sanitizable Signatures Revisited
Sanitizable signature schemes, as defined by Ateniese et al. (ESORICS 2005), allow a signer to partly delegate signing rights to another party, called the sanitizer. That is, the s...
Anja Lehmann, Christina Brzuska, Dominique Schr&ou...
KDD
2007
ACM
137views Data Mining» more  KDD 2007»
16 years 7 months ago
Characterising the difference
Characterising the differences between two databases is an often occurring problem in Data Mining. Detection of change over time is a prime example, comparing databases from two b...
Jilles Vreeken, Matthijs van Leeuwen, Arno Siebes
KDD
2005
ACM
86views Data Mining» more  KDD 2005»
16 years 7 months ago
Probabilistic workflow mining
In several organizations, it has become increasingly popular to document and log the steps that makeup a typical business process. In some situations, a normative workflow model o...
Ricardo Silva, Jiji Zhang, James G. Shanahan