1699 search results - page 74 / 340 » On the Expressive Power of QLTL |
114
click to vote
ACL
2011
14 years 4 months ago
2011
We cast the word alignment problem as maximizing a submodular function under matroid constraints. Our framework is able to express complex interactions between alignment component...
157
Voted
LPAR
2012
Springer
13 years 8 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
— Robust power distribution within available routing area resources is critical to chip performance and reliability. In this paper, we propose a novel and efficient method for o...
SAC
2002
ACM
15 years 12 days ago
2002
ACM
A version space is a set of all hypotheses consistent with a given set of training examples, delimited by the specific boundary and the general boundary. In existing studies [5, 6...
125
Voted
IJBRA
2010
14 years 11 months ago
2010
—We aim to determine the biological relevance of genes identified through microarray-mediated transcriptional profiling of Xenopus sensory organs and brain tissue. Genetic data...