6829 search results - page 1030 / 1366 » Quantitative Generalizations of Languages |
167
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
This paper considers the use of computational stylistics for performing authorship attribution of electronic messages, addressing categorization problems with as many as 20 differ...
151
Voted
CHI
2008
ACM
16 years 7 months ago
2008
ACM
By analyzing features of users' typing, Automatic Whiteout++ detects and corrects up to 32.37% of the errors made by typists while using a mini?QWERTY (RIM Blackberry style) ...
152
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
We introduce a new interactive system: a game that is fun and can be used to create valuable output. When people play the game they help determine the contents of images by provid...
175
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
We present a new user interface for the common morphing tool found in animation packages. Previously this interface has been based on the features of the underlying algorithm, wit...
195
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...