10666 search results - page 273 / 2134 » Quantum programming languages |
140
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
—The current research analyses and demonstrates how spoken language can be used by human users to communicate with the HRP-2 humanoid to program the robot’s behavior in a coope...
160
click to vote
ASM
2005
ASM
16 years 3 days ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
162
click to vote
EUROGP
2008
Springer
15 years 8 months ago
2008
Springer
We present PlasmidPL, a plasmid-inspired programming language designed for Genetic Programming (GP), and based on a chemical metaphor. The basic data structures in PlasmidPL are ci...
163
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
We propose to integrate ACO in a Constraint Programming (CP) language. Basically, we use the CP language to describe the problem to solve by means of constraints and we use the CP ...
171
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...