1492 search results - page 94 / 299 » Testing Properties of Constraint-Graphs |
129
Voted
NN
2002
Springer
15 years 3 months ago
2002
Springer
In this paper we introduce novel geometric concepts, namely category regions, in the original framework of Fuzzy-ART (FA) and FuzzyARTMAP (FAM). The definitions of these regions a...
113
Voted
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
114
Voted
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
A novel shape descriptor is introduced. It groups pairs of points that share a geometrical property that is based on their mutual symmetry. The descriptor is visualized as a diagon...
115
Voted
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
Redundancy and minimization of queries are investigated in a well known fragment of XPath that includes child and descendant edges, branches, wildcards, and multiple output nodes....
123
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Knowledge and knowledge sharing are an important facet of innovative activities. This paper aims to investigate knowledge creation in innovation context and presents the construct...