4911 search results - page 679 / 983 » Tree dependence analysis |
166
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
125
click to vote
DOCENG
2006
ACM
15 years 10 months ago
2006
ACM
With the development of variable-data-driven digital presses where each document printed is potentially unique there is a need for pre-press optimization to identify material that...
113
Voted
DOCENG
2006
ACM
15 years 10 months ago
2006
ACM
Multistructured documents are documents whose structure is composed of a set of concurrent hierarchical structures. In this paper, we propose a new model of multistructured docume...
153
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
124
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Clinical medical records contain a wealth of information, largely in free-text form. Means to extract structured information from free-text records is an important research endeav...