1000 search results - page 101 / 200 » Dependency Tree Automata |
98
Voted
CORR
2004
Springer
15 years 20 days ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
74
Voted
ISLPED
2006
ACM
15 years 6 months ago
2006
ACM
This paper addresses the problem of low-power fanout optimization. We show that due to neglecting short-circuit current, previous analytical techniques proposed to optimize the ar...
107
Voted
CCS
2000
ACM
15 years 4 months ago
2000
ACM
This paper initiates a study of accountable certificate management methods, necessary to support long-term authenticity of digital documents. Our main contribution is a model for ...
102
click to vote
ICDM
2008
IEEE
15 years 7 months ago
2008
IEEE
Association analysis arises in many important applications such as bioinformatics and business intelligence. Given a large collection of measurements over a set of samples, associ...
96
Voted
ICFP
2006
ACM
16 years 24 days ago
2006
ACM
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...