1024 search results - page 109 / 205 » Value complete, column complete, predicate complete |
135
click to vote
TACAS
2001
Springer
15 years 6 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
129
click to vote
LPNMR
1993
Springer
15 years 5 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
117
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
Lossless image compression techniques typically consider images to be a sequence of pixels in row major order. The processing of each pixel consists of two separate operations. Th...
111
click to vote
DELTA
2004
IEEE
15 years 5 months ago
2004
IEEE
Bilinear interpolation is often used to improve image quality after performing spatial transformation operations such as digital zooming or rotation. In the traditional case where...
126
Voted
PVM
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...