2214 search results - page 160 / 443 » Complexity of Reasoning |
152
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
126
Voted
CSL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive p...
104
click to vote
IV
2002
IEEE
15 years 8 months ago
2002
IEEE
Human dialogue is so complex that definitively analysing patterns of conversation may well be impossible. Within a conversation, all the complexities and ambiguities of natural la...
132
Voted
ICIP
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper sheds light on the recent least-square (LS)-based adaptive prediction schemes for lossless compression of natural images. Our analysis shows that the superiority of the ...
124
click to vote
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...