Sciweavers

4066 search results - page 163 / 814
» Almost Complete Sets
Sort
View
CIKM
1997
Springer
15 years 10 months ago
An Analysis of Cardinality Constraints in Redundant Relationships
In this paper, we present a complete analysis of redundant relationships in the entity-relationship model. Existing approaches use the concept of functional dependencies for ident...
James Dullea, Il-Yeol Song
APAL
2010
141views more  APAL 2010»
15 years 6 months ago
Locatedness and overt sublocales
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...
Bas Spitters
GD
2007
Springer
16 years 18 days ago
Minimum Level Nonplanar Patterns for Trees
We add two minimum level nonplanar (MLNP) patterns for trees to the previous set of tree patterns given by Healy et al. [3]. Neither of these patterns match any of the previous pat...
J. Joseph Fowler, Stephen G. Kobourov
FSKD
2005
Springer
94views Fuzzy Logic» more  FSKD 2005»
15 years 12 months ago
Incremental Target Recognition Algorithm Based on Improved Discernibility Matrix
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...
Yong Liu, Congfu Xu, Zhiyong Yan, Yunhe Pan
CORR
2008
Springer
65views Education» more  CORR 2008»
15 years 6 months ago
The Wadge Hierarchy of Deterministic Tree Languages
Abstract. We provide a complete description of the Wadge hierarchy for deterministically recognizable sets of infinite trees. In particular we give an elementary procedure to decid...
Filip Murlak