Sciweavers

3793 search results - page 378 / 759
» Expressive Description Logics
Sort
View
CORR
2007
Springer
85views Education» more  CORR 2007»
15 years 6 months ago
A multivariate interlace polynomial
We define a multivariate polynomial that generalizes in a unified way the twovariable interlace polynomial defined by Arratia, Bollob´as and Sorkin on the one hand, and a one-...
Bruno Courcelle
JOLLI
2007
88views more  JOLLI 2007»
15 years 6 months ago
Toward discourse representation via pregroup grammars
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...
Anne Preller
CORR
1998
Springer
107views Education» more  CORR 1998»
15 years 6 months ago
Computing Declarative Prosodic Morphology
This paper describes a computational, declarative approach to prosodic morphology that uses inviolable constraints to denote small finite candidate sets which are filtered by a re...
Markus Walther
EUSFLAT
2009
148views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Fuzzy Tendency based Time Series Model for Forecasting Server Traffic
- For modeling of change of terminal server load, the approach including representation of time series of server parameters in the form of fuzzy time series is used. Further in the...
Nadezhda Yarushkina, Tagir Unusov, Tatyana Afanasy...
DEXAW
2008
IEEE
93views Database» more  DEXAW 2008»
16 years 1 months ago
Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
Kenji Saito