678 search results - page 36 / 136 » The Theory of Weak Stabilization |
CIKM
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we devise a method for the estimation of the true support of itemsets on data streams, with the objective to maximize one chosen criterion among {precision, recall}...
LICS
2000
IEEE
14 years 2 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
FMOODS
2008
13 years 11 months ago
2008
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...
IADIS
2004
2004
Implementing Cognitive Modellig in CS Education: Aligning Theory and Practice of Learning to Program
13 years 11 months ago
It can be argued that although computer science may seem one of the best researched areas, it could also be one of the worst taught. In this research we examine the residual probl...
APAL
2006
13 years 10 months ago
2006
We prove a number of consistency results complementary to the ZFC results from our paper [4]. We produce examples of non-tightly stationary mutually stationary sequences, sequences...