5090 search results - page 218 / 1018 » Constructing Strategies for Programming |
285
Voted
Book
"Tcl is a string-based command language.
The language has only a few fundamental constructs and relatively little
syntax, which makes it easy to learn. The Tcl syntax is mea...
123
Voted
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— We explore the use of computational optimal control techniques for automated construction of policies in complex dynamic environments. Our implementation of dynamic programming...
115
Voted
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
95
Voted
EPIA
1995
Springer
15 years 6 months ago
1995
Springer
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...
103
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...