3710 search results - page 19 / 742 » A new calculus of contexts |
CC
2003
Springer
15 years 5 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
TIME
1994
IEEE
15 years 3 months ago
1994
IEEE
The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interv...
DPPI
2007
ACM
15 years 3 months ago
2007
ACM
This paper reports on how we learned from an alternative practice, to design engaging interactive technology intended for a more general user group. We are investigating new types ...
CHI
2004
ACM
16 years 2 days ago
2004
ACM
Context photography consists of capturing context when taking a picture, by sensing physical input in addition to light and representing it visually in real time. By developing th...
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
Evaluating GP schema in context is considered to be a complex, and, at times impossible, task. The tightly linked nodes of a GP tree is the main reason behind its complexity. This...