767 search results - page 38 / 154 » Logic for Mathematical Writing |
MPC
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
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...
SIGCSE
1991
ACM
13 years 11 months ago
1991
ACM
The development, specification, and use of a loop invariant are useful and underutilized tools in writing code to solve a problem or implement an algorithm. Invariants are especi...
PDS
1996
13 years 9 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Today's peer review process for scientic articles is unnecessarily opaque and oers few incentives to referees. Likewise, the publishing process is unnecessarily inecient and i...