72 search results - page 8 / 15 » On the Complements of Partial k-Trees |
ICFP
2002
ACM
14 years 9 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
VLSID
2007
IEEE
14 years 4 months ago
2007
IEEE
The 3-2, 4-2 and 5-2 compressors are the basic components in many applications, in particular partial product summation in multipliers. In this paper novel architectures and desig...
CIKM
2007
Springer
14 years 4 months ago
2007
Springer
Regular path queries (RPQ’s) are given by means of regular expressions and ask for matching patterns on labeled graphs. RPQ’s have received great attention in the context of s...
KCAP
2005
ACM
14 years 3 months ago
2005
ACM
Extensive and deep paraphrase corpora are important for a variety of natural language processing and user interaction tasks. In this paper, we present an approach which i) collect...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents operating in multi-agent environments. We use the...