2501 search results - page 196 / 501 » Logics with Rank Operators |
137
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper is concerned with the robust stabilization of a class of stochastic large-scale systems. The uncertainties satisfy integral quadratic constraints. The random...
136
click to vote
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
We investigate algorithmic properties of infinite transition graphs that are generated by rewriting systems over unranked trees. Two kinds of such rewriting systems are studied. ...
107
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
—A generic prioritization framework is introduced for addressing the problem of automated prioritization of target selection and instrument usage, applicable to Earth and Space r...
137
click to vote
SKG
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
150
click to vote
ACL
1998
15 years 6 months ago
1998
I propose a model for determining the hearer's attentional state which depends solely on a list of salient discourse entities (S-list). The ordering among the elements of the...