1699 search results - page 52 / 340 » On the Expressive Power of QLTL |
123
click to vote
GEOS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
88
Voted
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Motivated by combinatorial optimization theory, we propose an algorithmic power allocation method that minimizes the total transmitting power in transmitter diversity systems, prov...
131
click to vote
DOOD
1991
Springer
15 years 4 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
100
click to vote
ENTCS
2006
15 years 21 days ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
115
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: Discovery of biomarkers that are correlated with therapy response and thus with survival is an important goal of medical research on severe diseases, e.g. cancer. Freq...