1699 search results - page 51 / 340 » On the Expressive Power of QLTL |
63
Voted
COLING
1994
15 years 2 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 ...
103
Voted
FORTE
1992
15 years 1 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...
98
Voted
CORR
2007
Springer
15 years 20 days 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...
APAL
2004
15 years 17 days 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 ...
102
click to vote
CIKM
2007
Springer
15 years 6 months 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...