2036 search results - page 22 / 408 » A generic type-and-effect system |
91
Voted
WDAG
2000
Springer
15 years 4 months ago
2000
Springer
Weconsider the problemof generic broadcast in asynchronous systems with crashes, a problem that was rst studied in 12]. Roughly speaking, given a \con ict" relation on the set...
HAIS
2009
Springer
15 years 5 months ago
2009
Springer
A generic and extendible Multi-Agent Data Mining (MADM) framework, EMADS (the Extendible Multi-Agent Data mining System) is described. The central feature of the framework is that ...
73
Voted
ACL
2001
15 years 1 months ago
2001
Multi-processor systems are becoming more commonplace and affordable. Based on analyses of actual parsings, we argue that to exploit the capabilities of such machines, unification...
115
Voted
FUIN
2010
14 years 9 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
104
Voted
TPHOL
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...