1419 search results - page 19 / 284 » Notes on Formalizing Context |
123
Voted
JAR
2007
15 years 11 days ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
113
Voted
MM
2006
ACM
15 years 6 months ago
2006
ACM
Personal media collections are often viewed and managed along the social dimension, the places we spend time at and the people we see, thus tools for extracting and using this inf...
91
Voted
INFOVIS
1999
IEEE
15 years 4 months ago
1999
IEEE
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...
109
Voted
EKNOW
2009
14 years 10 months ago
2009
Knowledge engineering relies on a unified effort of two components for success: 1) a strong expert knowledge back-end, and 2) an effective user interface. We address the latter is...
110
click to vote
CSCW
2011
ACM
14 years 7 months ago
2011
ACM
This paper describes a qualitative study of how 11 Arab individuals use technology in the context of their longdistance romantic relationships. Our participants’ communication p...