570 search results - page 4 / 114 » A Novel Approach For Detecting Symmetries in CSP Models |
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
113
click to vote
ICCV
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we present a novel algorithm for partial
intrinsic symmetry detection in 3D geometry. Unlike previous
work, our algorithm is based on a conceptually simple
and st...
JUCS
2007
14 years 9 months ago
2007
: The distribution of overlaps of solutions of a random constraint satisfaction problem (CSP) is an indicator of the overall geometry of its solution space. For random k-SAT, nonri...
81
Voted
ICARIS
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a novel immune inspired algorithm, named DERA (Dynamic Effector Regulatory Algorithm), aimed at fault detection and other anomaly detection problems. It integr...
ICARIS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this conceptual paper, we report on studies and initial definitions of an immune-inspired approach to temporal anomaly detection problems, where there is a strict temp...