Sciweavers

7121 search results - page 225 / 1425
» Functions as Session-Typed Processes
Sort
View
DIAGRAMS
2004
Springer
15 years 12 months ago
A Cognitive Processing Perspective on Student Programmers' 'Graphicacy'
The ‘graphicacy’ of student programmers was investigated using several cognitive tasks designed to assess ER knowledge representation at the perceptual, semantic and output lev...
Richard Cox, Pablo Romero, Benedict du Boulay, Rud...
ECAI
2004
Springer
15 years 12 months ago
On-Line Search for Solving Markov Decision Processes via Heuristic Sampling
In the past, Markov Decision Processes (MDPs) have become a standard for solving problems of sequential decision under uncertainty. The usual request in this framework is the compu...
Laurent Péret, Frédérick Garc...
ATAL
2003
Springer
15 years 11 months ago
Transition-independent decentralized markov decision processes
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
Raphen Becker, Shlomo Zilberstein, Victor R. Lesse...
ASWEC
2009
IEEE
15 years 11 months ago
Connector-Driven Process for the Gradual Evolution of Component-Based Software
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
CASES
2004
ACM
15 years 10 months ago
Translating affine nested-loop programs to process networks
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere