32 search results - page 6 / 7 » Why dependent types matter |
CHI
2001
ACM
15 years 10 months ago
2001
ACM
Constraints and dependencies among the elements of embodied cognition form patterns or microstrategies of interactive behavior. Hard constraints determine which microstrategies ar...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper builds on ideas in a recent paper which argued that the core subject matter of the IS field should not be “the IT artifact” (as suggested by Orlikowski and Iacono [...
BTW
2003
Springer
15 years 2 months ago
2003
Springer
: In most commercial enterprises, information is scattered across a large number of (legacy) data stores. Moreover, it is nearly impossible to obtain funding to replace these data ...
VISUALIZATION
2002
IEEE
15 years 2 months ago
2002
IEEE
For quantitative examination of phenomena that simultaneously occur on very different spatial and temporal scales, adaptive hierarchical schemes are required. A special numerical ...
ACL
1989
14 years 10 months ago
1989
Comparative expressions (CEs) such as "bigger than" and "more oranges than" are highly ambiguous, and their meaning is context dependent. Thus, they pose probl...