4690 search results - page 36 / 938 » An operational semantics for Scheme |
FLOPS
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
Accurate, reproducible and comparable measurement of collective operations is a complicated task. Although Different measurement schemes are implemented in wellknown benchmarks, m...
USENIX
2001
13 years 9 months ago
2001
A conventional file system provides the user with generic structure and semantics for accessing files. The default scheme is sufficient for many applications. However, many applic...
PAAPP
2010
13 years 6 months ago
2010
Accurate, reproducible and comparable measurement of the overheads, communication times and progression behavior of blocking and nonblocking collective operations is a complicated...
LREC
2010
13 years 9 months ago
2010
This paper investigates the applicability of existing dialogue act annotation schemes, designed for the analysis of spoken dialogue, to the semantic annotation of multimodal data,...