5451 search results - page 717 / 1091 » Typed Operational Semantics |
169
click to vote
VLDB
2004
ACM
16 years 7 hour ago
2004
ACM
1 Frequent itemset counting is the first step for most association rule algorithms and some classification algorithms. It is the process of counting the number of occurrences of ...
181
click to vote
APLAS
2003
ACM
15 years 12 months ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
146
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In recent years, it has become important for researchers, security incident responders and educators to share network logs, and many log anonymization tools and techniques have be...
159
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Ordered binary decision diagrams (OBDDs) nowadays belong to the most common representation types for Boolean functions. Although they allow important operations such as s...
171
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a concept for integrating multiple sensors in real-time robot control. To increase the controller robustness under diverse uncertainties, the robot systematically gener...