1699 search results - page 43 / 340 » On the Expressive Power of QLTL |
147
click to vote
BMCBI
2006
15 years 22 days ago
2006
Background: DNA microarrays are a powerful tool for monitoring the expression of tens of thousands of genes simultaneously. With the advance of microarray technology, the challeng...
113
click to vote
CP
2000
Springer
15 years 4 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
115
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
98
Voted
TSP
2008
15 years 17 days ago
2008
A space-time optimal power schedule for multiple distributed multiple-input multiple-output (MIMO) links without the knowledge of the instantaneous channel state information at th...
128
Voted
ICS
2009
Tsinghua U.
15 years 7 months ago
2009
Tsinghua U.
Matching regular expressions (regexps) is a very common workload. For example, tokenization, which consists of recognizing words or keywords in a character stream, appears in ever...