2410 search results - page 166 / 482 » Multiset Ordering Constraints |
206
click to vote
COCO
2011
Springer
14 years 6 months ago
2011
Springer
We consider a system of linear constraints over any finite Abelian group G of the following form: i(x1, . . . , xn) ≡ i,1x1 + · · · + i,nxn ∈ Ai for i = 1, . . . , t and e...
132
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
It is well-known that the connection refinement of clause tableaux with paramodulation is incomplete (even with weak connections). In this paper, we present a new connection tablea...
154
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...
159
click to vote
ECMAST
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents the constraints involved by MPEG-4 to copyright protection systems based upon watermarking technology. It proposes also an assessment methodology in order to ev...
131
click to vote
VTS
1999
IEEE
15 years 10 months ago
1999
IEEE
A low-cost on-line test scheme for digital filters is proposed. The scheme uses an invariant of the digital filter, the frequency response at specific points, in order to detect p...