1699 search results - page 87 / 340 » On the Expressive Power of QLTL |
111
Voted
POPL
1997
ACM
15 years 4 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
121
click to vote
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...
93
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The main motivation for using a multi–objective evolutionary algorithm for finding biclusters in gene expression data is motivated by the fact that when looking for biclusters ...
86
Voted
IMSCCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Microarray technology is a powerful biotechnology tool which allows researchers to simultaneously evaluate the expression of thousands of genes, if not the entire expressed genome...
171
Voted
SIGMOD
2005
ACM
16 years 28 days ago
2005
ACM
We give semantic characterizations of the expressive power of navigational XPath (also called Core XPath) in terms of first order logic. XPath can be used to specify sets of nodes...