969 search results - page 104 / 194 » Programming as Problem Solving: A Participatory Theater Appr... |
194
Voted
POPL
2008
ACM
16 years 28 days ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
86
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
This paper investigates the role of online resources in problem solving. We look specifically at how programmers--an exemplar form of knowledge workers--opportunistically interlea...
87
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— A key step in many statistical learning methods used in machine learning involves solving a convex optimization problem containing one or more hyper-parameters that must be sel...
117
Voted
LCTRTS
2009
Springer
15 years 7 months ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...
NIPS
1993
15 years 1 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...