4139 search results - page 763 / 828 » Designing and Implementing Combinator Languages |
154
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
The binary form of an image does not tell what the image is about. It is possible to retrieve images from a database using pattern matching techniques, but usually textual descript...
128
click to vote
EDBT
2004
ACM
16 years 3 months ago
2004
ACM
To effectively support today's global economy, database systems need to store and manipulate text data in multiple languages simultaneously. Current database systems do suppor...
127
Voted
PEPM
2010
ACM
16 years 8 days ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
147
click to vote
CGO
2008
IEEE
15 years 10 months ago
2008
IEEE
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...
129
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...