3238 search results - page 319 / 648 » On the Computational Interpretation of Negation |
145
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
CogTool-Explorer is a tool to predict user exploration choices given a user interface and task. We describe the integration of components that make up CogToolExplorer, and how it ...
149
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
Historically one of the visions for human-computer symbiosis has been to augment human intelligence and extend people's cognitive abilities. In this paper, we present two vis...
191
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
151
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Semantic similarity measurement gained attention over the last years as a non-standard inference service for various kinds of knowledge representations including description logics...
162
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper we study the neighbourhood of 15-variable Patterson-Wiedemann (PW) functions, i.e., the functions that differ by a small Hamming distance from the PW functions in te...