667 search results - page 4 / 134 » On Various Negative Translations |
ISCAS
1994
IEEE
14 years 1 months ago
1994
IEEE
There have been many investigations of the mutual synchronization of oscillators. In this study we consider N oscillators which have the same natural frequency, mutually coupled b...
NGC
2007
Springer
13 years 9 months ago
2007
Springer
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...
DCG
2007
13 years 9 months ago
2007
Let C be a cone in R3 whose base B is a planar convex body in a horizontal plane π and whose tip is a point v /∈ π. Let C be a packing formed by translates of C and −C in R3...
DEXA
2010
Springer
13 years 10 months ago
2010
Springer
We consider the containment problem for conjunctive queries with atomic negation. Firstly, we refine an existing algorithm based on homomorphism checks, which itself improves other...
EC
2007
13 years 9 months ago
2007
This paper reviews the progress of negative selection algorithms, an anomaly/change detection approach in Artificial Immune Systems (AIS). Following its initial model, we try to ...