Sciweavers

3381 search results - page 465 / 677
» Extending Dependencies with Conditions
Sort
View
AMT
2006
Springer
91views Multimedia» more  AMT 2006»
15 years 11 months ago
Rough Set Model for Constraint-based Multi-dimensional Association Rule Mining
Abstract. This paper presents a rough set model for constraint-based multidimensional association rule mining. It first overviews the progress in constraintbased multi-dimensional ...
Wanzhong Yang, Yuefeng Li, Yue Xu, Hang Liu
CAV
2004
Springer
154views Hardware» more  CAV 2004»
15 years 11 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
COOPIS
2004
IEEE
15 years 11 months ago
TRAP/J: Transparent Generation of Adaptable Java Programs
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application...
Seyed Masoud Sadjadi, Philip K. McKinley, Betty H....
CP
2006
Springer
15 years 11 months ago
Reasoning by Dominance in Not-Equals Binary Constraint Networks
Dynamic detection and elimination of symmetry in constraints, is in general a hard task, but in Not-Equals binary constraint networks, the symmetry conditions can be simplified. I...
Belaid Benhamou, Mohamed Réda Saïdi
FSE
2006
Springer
116views Cryptology» more  FSE 2006»
15 years 11 months ago
On Feistel Structures Using a Diffusion Switching Mechanism
We study a recently proposed design approach of Feistel structure which employs diffusion matrices in a switching way. At ASIACRYPT 2004, Shirai and Preneel have proved that large ...
Taizo Shirai, Kyoji Shibutani