923 search results - page 133 / 185 » Factorizing Languages |
CHI
2004
ACM
16 years 6 days 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...
CADE
2003
Springer
16 years 4 days ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
ICALP
2009
Springer
16 years 4 days ago
2009
Springer
We present a range of new results for testing properties of Boolean functions that are defined in terms of the Fourier spectrum. Broadly speaking, our results show that the propert...
103
click to vote
ICALP
2009
Springer
16 years 4 days ago
2009
Springer
Estimating frequency moments and Lp distances are well studied problems in the adversarial data stream model and tight space bounds are known for these two problems. There has been...
163
click to vote
SIGMOD
2008
ACM
16 years 2 min ago
2008
ACM
Database searches are usually performed with query languages and form fill in templates, with results displayed in tabular lists. However, excitement is building around dynamic qu...