201 search results - page 19 / 41 » Declaring Numbers |
109
click to vote
CP
2008
Springer
15 years 3 months ago
2008
Springer
The Constraint Satisfaction Problem (CSP) framework allows users to define problems in a declarative way, quite independently from the solving process. However, when the problem i...
LREC
2010
15 years 3 months ago
2010
This document reports the process of extending MorphoPro for Venetan, a lesser-used language spoken in the Nort-Eastern part of Italy. MorphoPro is the morphological component of ...
115
click to vote
GLOBECOM
2008
IEEE
15 years 2 months ago
2008
IEEE
Selection cooperation is proposed for rateless coded relaying by developing a novel low-complexity protocol that exploits all source-destination, source-relay, and relay-destinatio...
125
click to vote
SIGMOD
2002
ACM
16 years 2 months ago
2002
ACM
The widespread distribution and availability of smallscale sensors, actuators, and embedded processors is transforming the physical world into a computing platform. One such examp...
157
click to vote
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...