Sciweavers

1152 search results - page 95 / 231
» The Scratch Programming Language and Environment
Sort
View
231
Voted
ICLP
2009
Springer
16 years 4 months ago
Logic Programming for Multiagent Planning with Negotiation
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
ENTCS
2007
102views more  ENTCS 2007»
15 years 3 months ago
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
Brigitte Pientka
KBSE
2000
IEEE
15 years 7 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
130
Voted
BMCBI
2004
123views more  BMCBI 2004»
15 years 3 months ago
A two-way interface between limited Systems Biology Markup Language and R
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...
Tomas Radivoyevitch
141
Voted
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
15 years 10 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...