10666 search results - page 1763 / 2134 » Quantum programming languages |
180
click to vote
EUSAI
2007
Springer
15 years 6 months ago
2007
Springer
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...
137
Voted
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
154
click to vote
CATS
2007
15 years 6 months ago
2007
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
135
click to vote
LREC
2008
15 years 6 months ago
2008
The goal of the DARPA MADCAT (Multilingual Automatic Document Classification Analysis and Translation) Program is to automatically convert foreign language text images into Englis...
157
click to vote
LANMR
2007
15 years 6 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...