Sciweavers

2962 search results - page 97 / 593
» Reasoning on Association Rules
Sort
View
ESANN
2007
15 years 7 months ago
A neural model of cross-modal association in insects
Abstract. We developed a computational model of learning in the Mushroom Body, a region of multimodal integration in the insect brain. Using realistic neural dynamics and a biologi...
Jan Wessnitzer, Barbara Webb
WWW
2001
ACM
16 years 7 months ago
P-Jigsaw: Extending Jigsaw with Rules Assisted Cache Management
P-Jigsaw is an extension of W3C's Jigsaw Web-server implementing a cache management strategy for replacement and pre-fetching based on association rules mining from the acces...
Bin Lan, Stéphane Bressan
FM
2003
Springer
160views Formal Methods» more  FM 2003»
15 years 11 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
PODS
2007
ACM
171views Database» more  PODS 2007»
16 years 6 months ago
The complexity of reasoning about pattern-based XML schemas
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based on rules of the form r s, where r, s are regular expressions. Sets of such ru...
Gjergji Kasneci, Thomas Schwentick
RR
2009
Springer
16 years 24 days ago
The Perfect Match: RPL and RDF Rule Languages
François Bry, Tim Furche, Benedikt Linse