1670 search results - page 38 / 334 » On Skolemization in constructive theories |
113
click to vote
CSSE
2008
IEEE
15 years 8 months ago
2008
IEEE
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
100
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in a piece of content. The watermark detector checks ...
CGF
2000
15 years 1 months ago
2000
: Having evolved from volume visualisation, volume graphics is emerging as an important sub-field of computer graphics. This paper focuses on a fundamental aspect of volume graphic...
144
click to vote
TCS
1998
15 years 1 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
107
click to vote
CADE
2003
Springer
16 years 2 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...