7123 search results - page 175 / 1425 » The Ordered Set of Rough Sets |
130
click to vote
GLOBECOM
2008
IEEE
16 years 29 days ago
2008
IEEE
—The second-order cyclostationarity of cyclically prefixed single carrier linear digital (CP-SCLD) modulated signals is investigated with emphasis on its applicability to signal ...
181
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
202
click to vote
AIIA
2005
Springer
16 years 1 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
141
click to vote
WAOA
2004
Springer
15 years 12 months ago
2004
Springer
Borodin, Nielsen and Rackoff [5] proposed a framework for ing the main properties of greedy-like algorithms with emphasis on scheduling problems, and Davis and Impagliazzo [6] ext...
176
click to vote
FCT
2009
Springer
15 years 10 months ago
2009
Springer
Given a set P of natural numbers, we consider infinite games where the winning condition is a regular -language parametrized by P. In this context, an -word, representing a play, h...