3455 search results - page 585 / 691 » Generalized Game Trees |
203
click to vote
ACL2
2006
ACM
16 years 12 days 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...
197
click to vote
DAC
2006
ACM
16 years 11 days ago
2006
ACM
This paper investigates methods for clock skew minimization using buffer and wire sizing. First, a technique that significantly improves solution quality and stability of sequent...
151
click to vote
DOCENG
2006
ACM
16 years 11 days 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...
154
click to vote
DOCENG
2006
ACM
16 years 11 days 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...
182
click to vote
ECLIPSE
2006
ACM
16 years 11 days 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...