6039 search results - page 977 / 1208 » The Function Space of an Activity |
146
click to vote
KDD
2003
ACM
16 years 5 months ago
2003
ACM
Classification trees are widely used in the machine learning and data mining communities for modeling propositional data. Recent work has extended this basic paradigm to probabili...
128
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
Multi-flick, which consists of repeated flick actions, has received media attention as an intuitive and natural document-scrolling technique for stylus based systems. In this pape...
151
click to vote
VLSID
2003
IEEE
16 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
202
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
129
click to vote
RECOMB
2004
Springer
16 years 5 months ago
2004
Springer
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...