2451 search results - page 219 / 491 » Effective View Navigation |
131
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
107
click to vote
AGILEDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Some have described Agile and Infrastructure as an oxymoron: they just don’t fit together. During one year we have focused on using agile techniques in three different infrastru...
114
click to vote
NIPS
2007
15 years 5 months ago
2007
This paper proposes constraint propagation relaxation (CPR), a probabilistic approach to classical constraint propagation that provides another view on the whole parametric family...
127
click to vote
AI
2006
Springer
15 years 4 months ago
2006
Springer
The AI and HCI communities have often been characterized as having opposing views of how humans and computers should interact. As both of them evolve, there is a deeper contrast t...
124
click to vote
MLQ
2008
15 years 4 months ago
2008
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...