6607 search results - page 260 / 1322 » Making TeX Work |
135
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
Embedded processors are making it possible for common appliances, such as cable boxes, microwaves and fax machines, to provide even more functionality. Unfortunately, as these app...
226
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
134
click to vote
STOC
2005
ACM
16 years 4 months ago
2005
ACM
We prove exponential lower bounds for the refutation of a random 3-CNF with linear number of clauses by k-DNF Resolution for k log n/ log log n. For this we design a specially ta...
232
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
119
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Professionals in the field of speech technology are often constrained by a lack of speech corpora that are important to their research and development activities. These corpora ex...