COMPUTE
2010
ACM
14 years 1 months ago
2010
ACM
The single minimum support (minsup) based frequent pattern mining approaches like Apriori and FP-growth suffer from“rare item problem”while extracting frequent patterns. That...
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer
Niklaus Wirth is one of the most influential scientists of the early computer age. His ideas and especially his programming languages have shaped generations of programmers worldw...
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer