2477 search results - page 55 / 496 » First-Order Interactive Programming |
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...
ENTCS
2002
13 years 7 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
AAAI
2010
13 years 9 months ago
2010
Relational Markov Decision Processes (MDP) are a useraction for stochastic planning problems since one can develop abstract solutions for them that are independent of domain size ...
INFORMATICALT
2000
13 years 7 months ago
2000
In this paper, the hexagonal approach was proposed for modeling the functioning of cerebral cortex, especially, the processes of learning and recognition of visual information. Thi...