1999 search results - page 355 / 400 » Dependently Typed Grammars |
125
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
The problem of assessing the significance of data mining results on high-dimensional 0?1 data sets has been studied extensively in the literature. For problems such as mining freq...
104
click to vote
KDD
2002
ACM
16 years 2 months ago
2002
ACM
The analysis of user behavior on the Web presupposes a reliable reconstruction of the users' navigational activities. Cookies and server-generated session identifiers have be...
104
click to vote
CHI
2008
ACM
16 years 2 months ago
2008
ACM
Displaying scanned book pages in a web browser is difficult, due to an array of characteristics of the common user's configuration that compound to yield text that is degrade...
122
click to vote
CHI
2003
ACM
16 years 2 months ago
2003
ACM
A new software tool for user-interface development and assessment of ubiquitous computing applications is available for CHI researchers. The software permits researchers to use co...
CHI
2001
ACM
16 years 2 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...