1077 search results - page 82 / 216 » Management of Evolving Specifications using Category Theory |
HT
2009
ACM
14 years 2 months ago
2009
ACM
While weblogs have been conceptualised as personal thinking spaces since their early days, those uses have not been studied in detail. The purpose of this paper is to explore how ...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
This article tries to give an answer to a fundamental question in temporal data mining: "Under what conditions a temporal rule extracted from up-to-date temporal data keeps i...
KDD
2009
ACM
14 years 2 months ago
2009
ACM
As the number and size of large timestamped collections (e.g. sequences of digitized newspapers, periodicals, blogs) increase, the problem of efficiently indexing and searching su...
SIGUCCS
2003
ACM
14 years 1 months ago
2003
ACM
St. Edward’s University has developed a web-based Computer Competency Program ensuring one standard of competency for a diverse student population. Over the past decade faculty ...