3440 search results - page 510 / 688 » Logics For Context-Free Languages |
202
click to vote
SIGIR
2003
ACM
16 years 10 days ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...
207
click to vote
PODS
2010
ACM
16 years 5 days ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
194
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
199
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
XML is an emerging standard for data representation and exchange on the World-Wide Web. Due to the nature of information on the Web and the inherent flexibility of XML, we expect...
185
click to vote
IEAAIE
1998
Springer
15 years 11 months ago
1998
Springer
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...