5510 search results - page 300 / 1102 » Mathematics |
138
click to vote
RSCTC
1998
Springer
15 years 10 months ago
1998
Springer
This paper reviews and discusses generalizations of Pawlak rough set approximation operators in mathematical systems, such as topological spaces, closure systems, lattices, and pos...
147
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
Cyclic corrector codes, or "block codes", are often used in telecommunications systems. To facilitate the design of coding/decoding circuits using this type of code, we ...
172
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
167
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
We propose a situation calculus formalization of action domains that include numeric-valued fluents (so-called additive or measure fluents) and concurrency. Our approach allows fo...
168
click to vote
GD
2000
Springer
15 years 9 months ago
2000
Springer
GraphXML is a graph description language in XML that can be used as an interchange format for graph drawing and visualization packages. The generality and rich features of XML mak...