2477 search results - page 97 / 496 » First-Order Interactive Programming |
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Programming has recently become more common among ordinary end users of computer systems. We believe that these end-user programmers are not just coders but also designers, in tha...
ISIPTA
2003
IEEE
14 years 2 months ago
2003
IEEE
A generalization of deFinetti’s Fundamental Theorem of Probability facilitates coherent assessment, by iterated natural extension, of imprecise probabilities or expectations, co...
CHI
1996
ACM
14 years 1 months ago
1996
ACM
The NewsComm system delivers personalized news and other program material as audio to mobile users through a hand-held playback device. This paper focuses on the iterative design ...
ACSD
2001
IEEE
14 years 20 days ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
AAAI
2008
13 years 11 months ago
2008
Decentralized Markov Decision Processes are a powerful general model of decentralized, cooperative multi-agent problem solving. The high complexity of the general problem leads to...