570 search results - page 4 / 114 » A Novel Approach For Detecting Symmetries in CSP Models |
129
click to vote
ATVA
2009
Springer
16 years 16 days 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 ...
189
click to vote
ICCV
2009
IEEE
16 years 11 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...
145
click to vote
JUCS
2007
15 years 5 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...
164
click to vote
ICARIS
2007
Springer
16 years 3 days 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...
153
click to vote
ICARIS
2007
Springer
16 years 3 days 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...