215 search results - page 14 / 43 » State-Transition Computation Models and Program Correctness ... |
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
100
click to vote
GPEM
2008
14 years 11 months ago
2008
In this work a cooperative, bid-based, model for problem decomposition is proposed with application to discrete action domains such as classification. This represents a significan...
107
click to vote
ICS
2010
Tsinghua U.
15 years 3 months ago
2010
Tsinghua U.
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...
111
click to vote
ENTCS
2008
14 years 11 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
CHI
2001
ACM
16 years 1 days ago
2001
ACM
The advent of second-generation intelligent computer tutors raises an important instructional design question: when should tutorial advice be presented in problem solving? This pa...