151 search results - page 5 / 31 » From Monads to Effects and Back |
CORR
2010
Springer
13 years 11 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
CIDR
2009
13 years 12 months ago
2009
Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to ge...
FASE
2008
Springer
14 years 19 days ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
CVPR
2012
IEEE
12 years 1 months ago
2012
IEEE
Consumer digital cameras use tone-mapping to produce compact, narrow-gamut images that are nonetheless visually pleasing. In doing so, they discard or distort substantial radiomet...
ISWC
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper presents results from a study examining the link between the functionality and the comfort of wearable computers. We gave participants two different devices to wear and...