3824 search results - page 432 / 765 » Geometry Constructions Language |
152
click to vote
CICLING
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We describe a semantic clustering method designed to address shortcomings in the common bag-of-words document representation for functional semantic classification tasks....
132
click to vote
CHI
2001
ACM
16 years 5 months ago
2001
ACM
The DataTiles system integrates the benefits of two major interaction paradigms: graphical and physical user interfaces. Tagged transparent tiles are used as modular construction ...
263
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
146
click to vote
STOC
2002
ACM
16 years 5 months ago
2002
ACM
We study the average-case hardness of the class NP against deterministic polynomial time algorithms. We prove that there exists some constant ? > 0 such that if there is some l...
112
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
We present the derivation of a space efficient parser combinator library: the constructed parsers do not keep unnecessary references to the input, produce online results and effic...