Sciweavers

4961 search results - page 209 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
84
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
On Lazy Commutation
Abstract. We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating wellfoundedness of unions of relations. To that en...
Nachum Dershowitz
141
Voted
ISDA
2009
IEEE
15 years 10 months ago
Extending Datatype Restrictions in Fuzzy Description Logics
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
Fernando Bobillo, Umberto Straccia
115
Voted
CIE
2009
Springer
15 years 10 months ago
Decidability of Sub-theories of Polynomials over a Finite Field
Abstract. Let Fq be a finite field with q elements. We produce an (effective) elimination of quantifiers for the structure of the set of polynomials, Fq[t], of one variable, in...
Alla Sirokofskich
123
Voted
GBRPR
2007
Springer
15 years 9 months ago
Local Reasoning in Fuzzy Attribute Graphs for Optimizing Sequential Segmentation
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics. Graphs are...
Geoffroy Fouquier, Jamal Atif, Isabelle Bloch
122
Voted
DASFAA
2005
IEEE
133views Database» more  DASFAA 2005»
15 years 9 months ago
Mining Frequent Tree-Like Patterns in Large Datasets
In this paper, we propose a novel data mining scheme to explore the frequent hierarchical structure patterns, named tree-like patterns, with the relationship of each item on a sequ...
Tzung-Shi Chen, Shih-Chun Hsu