3624 search results - page 433 / 725 » Abstract Algebraic Logic |
161
click to vote
CP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
147
click to vote
FSKD
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. Some comparable experiments have been completed in o...
159
click to vote
TACAS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
184
click to vote
FUZZY
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper studies some relationships between fuzzy relations, fuzzy graphs and fuzzy measure. It is shown that a fundamental theorem of Discrete Convex Analysis is deriv...
164
click to vote
RSCTC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present the next version (ver. 2.1) of the Rough Set Exploration System – a software tool featuring a library of methods and a graphical user interface supporting va...