10055 search results - page 9 / 2011 » Structured programming using processes |
KBSE
2000
IEEE
13 years 12 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
ADL
2000
Springer
13 years 12 months ago
2000
Springer
The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...
CICLING
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
AFPAC
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...