1699 search results - page 37 / 340 » On the Expressive Power of QLTL |
208
Voted
ICDE
2006
IEEE
16 years 2 months ago
2006
IEEE
The XPath language incorporates powerful primitives for formulating queries containing nested subexpressions which are existentially or universally quantified. However, even the b...
ISSAC
1997
Springer
15 years 4 months ago
1997
Springer
Computer algebra systems typically drop some degenerate cases when evaluating expressions, e.g., x=x becomes 1 dropping the case x = 0. We claim that it is feasible in practice to...
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
VTC
2006
IEEE
15 years 6 months ago
2006
IEEE
—In this paper, the exact closed-form capacity expression for a hybrid selection/MIMO (H-S/MIMO) system in the spatial correlated Rayleigh fading channels is investigated. There ...
ADMA
2006
Springer
15 years 6 months ago
2006
Springer
Gene Expression Programming (GEP) aims at discovering essential rules hidden in observed data and expressing them mathematically. GEP has been proved to be a powerful tool for cons...