503 search results - page 62 / 101 » Equality In Lazy Computation Systems |
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
In recent years, there has been a dramatic proliferation of research on information retrieval based on highly subjective concepts such as emotion, preference and aesthetic. Such r...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
FMCAD
2007
Springer
14 years 2 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
MRCO
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...
NORDICHI
2004
ACM
14 years 2 months ago
2004
ACM
This talk discusses how to strike a good balance between making the user an active co-constructor of system functionality versus making a too strong, interpretative design that do...