3793 search results - page 161 / 759 » Expressive Description Logics |
126
Voted
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
Polynomial expressions are used to compute a wide variety of mathematical functions commonly found in signal processing and graphics applications, which provide good opportunities...
166
click to vote
TCSV
2010
14 years 11 months ago
2010
A low complexity M-channel multiple description coding scheme is developed in this paper, in which each description carries one subset of the input with a higher bit rate and the r...
142
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...
148
click to vote
BIRTHDAY
1997
Springer
15 years 8 months ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
132
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...