1011 search results - page 124 / 203 » The three dimensions of proofs |
154
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The aim of this paper is to demonstrate the application of watermarks based on DNA sequences to identify the unauthorized use of genetically modified organisms (GMOs) ...
185
click to vote
PAMI
2010
15 years 4 months ago
2010
—Shortest paths have been used to segment object boundaries with both continuous and discrete image models. Although these techniques are well defined in 2D, the character of the...
134
click to vote
FSTTCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
177
click to vote
COCO
2000
Springer
15 years 10 months ago
2000
Springer
Kolmogorov’s very first paper on algorithmic information theory (Kolmogorov, Problemy peredachi infotmatsii 1(1) (1965), 3) was entitled “Three approaches to the definition ...
157
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...