2173 search results - page 107 / 435 » An operational semantics for skeletons |
COLING
2008
13 years 10 months ago
2008
This paper elaborates a model for representing semantic calendar expressions (SCEs), which correspond to the intensional meanings of natural-language calendar phrases. The model u...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
—Crossover forms one of the core operations in genetic programming and has been the subject of many different investigations. We present a novel technique, based on semantic anal...
NCA
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper proposes a novel database replication algorithm that offers strong consistency (linearizable semantics) and allows reads and non-conflicting writes to execute in para...
CIA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Effective deployment and utilisation of limited and constrained intelligence resources — including sensors and other sources — is seen as a key issue in modern multin...