1096 search results - page 30 / 220 » Type inference for atomicity |
TOPLAS
1998
13 years 7 months ago
1998
AAAI
2008
13 years 10 months ago
2008
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...
ALIFE
2008
13 years 7 months ago
2008
There is an ongoing debate as to whether the words in early pre-syntactic forms of human language had simple atomic meanings like modern words [4, 5], or whether they were holophr...
ADAEUROPE
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and w...
AISS
2010
13 years 5 months ago
2010
Recently, due to problems arising from lattice mismatch in thin film growth in semiconductor manufacturing industry, researchers have shown great interest in modeling the physioch...