1699 search results - page 51 / 340 » On the Expressive Power of QLTL |
113
click to vote
COLING
1994
15 years 7 months ago
1994
A logic formalism is presented which increases the expressive power of the ID/LP format of GPSG by enlarging the inventory of ordering relations and extending the domain of their ...
171
click to vote
FORTE
1992
15 years 7 months ago
1992
A real-time extension of ccs is described, based on true concurrency semantics and a determination to make composition the sole arbiter of real-time behaviour. The resultant calcu...
162
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Motivated by on-chip communication, a channel model is proposed where the variance of the additive noise depends on the weighted sum of the past channel input powers. For this chan...
132
click to vote
APAL
2004
15 years 6 months ago
2004
The purpose of this article is to present a new theory IPA() for fixed points over arithmetic which allows the building up of fixed points in a very nested and entangled way. But ...
165
click to vote
CIKM
2007
Springer
16 years 11 days ago
2007
Springer
Several problems in text categorization are too hard to be solved by standard bag-of-words representations. Work in kernel-based learning has approached this problem by (i) consid...