10666 search results - page 1508 / 2134 » Quantum programming languages |
158
click to vote
IFIP
2004
Springer
16 years 14 days ago
2004
Springer
Even though in recent years research and development of humanoid robots has increased, the major topics of research generally focus on how to make a robot perform specific motions...
194
click to vote
IFIP
2004
Springer
16 years 14 days ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
179
click to vote
LCTRTS
2004
Springer
16 years 14 days ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
203
click to vote
LPNMR
2004
Springer
16 years 14 days ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
155
click to vote
ICALT
2003
IEEE
16 years 12 days ago
2003
IEEE
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...