503 search results - page 62 / 101 » Equality In Lazy Computation Systems |
53
Voted
SIGIR
2009
ACM
15 years 7 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...
119
click to vote
LICS
2008
IEEE
15 years 7 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...
91
Voted
FMCAD
2007
Springer
15 years 6 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,...
127
click to vote
MRCO
2005
Springer
15 years 6 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
15 years 6 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...