1146 search results - page 138 / 230 » Finite cupping sets |
143
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
138
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
A conservative implementation of a predicate returns true only if the exact predicate is true. That is, we accept a one sided error for the implementation. For geometric predicate...
160
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
A target structure for implementing fast edge-triggered control units is presented. In many cases, the proposed controller is faster than a one-hot encoded structure as its correc...
175
click to vote
INFOCOM
1997
IEEE
15 years 10 months ago
1997
IEEE
A secret sharing schemefor the prohibited structure is a method of sharing a master key among a finite set of participants in such a way that only certain pre-specified subsetsof ...
192
click to vote
ICTAI
1996
IEEE
15 years 10 months ago
1996
IEEE
The Processor Configuration Problem (PCP) is a Constraint Optimization Problem. The task is to link up a finite set of processors into a network, while minimizing the maximum dist...