Sciweavers

1492 search results - page 94 / 299
» Testing Properties of Constraint-Graphs
Sort
View
NN
2002
Springer
119views Neural Networks» more  NN 2002»
15 years 6 months ago
Category regions as new geometrical concepts in Fuzzy-ART and Fuzzy-ARTMAP
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...
Georgios C. Anagnostopoulos, Michael Georgiopoulos
ICFEM
2007
Springer
16 years 13 days ago
Model Checking with SAT-Based Characterization of ACTL Formulas
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
Wenhui Zhang
ECCV
2006
Springer
16 years 8 months ago
Describing and Matching 2D Shapes by Their Points of Mutual Symmetry
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...
Arjan Kuijper, Ole Fogh Olsen
EDBT
2008
ACM
108views Database» more  EDBT 2008»
16 years 6 months ago
Revisiting redundancy and minimization in an XPath fragment
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....
Benny Kimelfeld, Yehoshua Sagiv
HICSS
2008
IEEE
107views Biometrics» more  HICSS 2008»
16 years 22 days ago
Supporting Strategic Innovativeness: Scenario Planning for Driving Organizational Knowledge Sharing
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...
Kalle Piirainen, Hannu Kivijärvi, Markku Tuom...