The process of labeling each word in a sentence with one of its lexical categories (noun, verb, etc) is called tagging and is a key step in parsing and many other language processi...
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
The promise of E-Government (and its more recent spin-offs of EDemocracy, E-Participation, E-Procurement, and a range of other "E-`s") is to engage citizenry in governme...
John Carlo Bertot, Paul T. Jaeger, Charles R. McCl...
There is a close relationship between formal language theory and data compression. Since 1990's various types of grammar-based text compression algorithms have been introduced...
Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is clos...