3718 search results - page 293 / 744 » Programming by Integration in Robotics |
183
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
264
click to vote
WCFLP
2005
ACM
16 years 8 days ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
196
click to vote
PROMAS
2005
Springer
16 years 6 days ago
2005
Springer
3APL-M is a platform for building deliberative multi-agent systems whose components execute on handheld and embedded computational devices. The solution takes advantage of the 3APL...
158
click to vote
PDC
2004
ACM
16 years 4 days ago
2004
ACM
Over the past seven years, we have been conducting a variety of participatory design activities with research biologists, programmers, and bioinformaticians at the Institut Pasteu...
189
click to vote
ILP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...