Sciweavers

2962 search results - page 252 / 593
» Reasoning on Association Rules
Sort
View
DSS
2007
226views more  DSS 2007»
15 years 6 months ago
Dare to share: Protecting sensitive knowledge with data sanitization
chool of Business Research – FY 2007 Research Abstracts Dare to Share: Protecting Sensitive Knowledge with Data Sanitization Data sanitization is a process that is used to promot...
Ali Amiri
SIAMIS
2008
97views more  SIAMIS 2008»
15 years 6 months ago
Cascadic Multiresolution Methods for Image Deblurring
This paper investigates the use of cascadic multiresolution methods for image deblurring. Iterations with a conjugate gradient-type method are carried out on each level, and termin...
Serena Morigi, Lothar Reichel, Fiorella Sgallari, ...
CADE
2007
Springer
16 years 7 months ago
Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
Samuli Heilala, Brigitte Pientka
179
Voted
ASP
2001
Springer
15 years 11 months ago
Useful Transformations in Answer set programming
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
Mauricio Osorio, Juan Carlos Nieves, Chris Giannel...
ATAL
2001
Springer
15 years 11 months ago
Commitment Machines
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
Pinar Yolum, Munindar P. Singh