1096 search results - page 108 / 220 » Type inference for atomicity |
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
AUSAI
2005
Springer
14 years 1 months ago
2005
Springer
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...
IICS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract: The article presents a model of the structural properties of virtual communities and the information they can access. It argues that a large part of the information – a...
DEXA
2000
Springer
14 years 8 days ago
2000
Springer
The relational model, as proposed by Codd, contained the concept of relations as tables composed of tuples of single valued attributes taken from a domain. In most of the early lit...
WCE
2007
13 years 9 months ago
2007
—This study focuses on the preparation and testing of hydroxyapatite-gelatine nanocomposite gels via a sol-gel route and in situ formation of hydroxyapatite (HA) type salts. Four...