3718 search results - page 293 / 744 » Programming by Integration in Robotics |
194
click to vote
LICS
2005
IEEE
16 years 24 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 ...
290
click to vote
WCFLP
2005
ACM
16 years 23 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 ...
219
click to vote
PROMAS
2005
Springer
16 years 21 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...
174
click to vote
PDC
2004
ACM
16 years 19 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...
202
click to vote
ILP
2004
Springer
16 years 18 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 ...