4485 search results - page 79 / 897 » Equivalences on Observable Processes |
COLING
1996
13 years 10 months ago
1996
This paper proposes a segmentation standard for Chinese natural language processing. The standard is proposed to achieve linguistic felicity, computational feasibility, and data u...
ATVA
2006
Springer
14 years 15 days ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper, security evaluation of an important watermarking class based on quantization is given. Theoretical developments and practical simulations are used to measure the se...
ICIP
2008
IEEE
14 years 3 months ago
2008
IEEE
Image gradients form powerful cues in a host of vision and graphics applications. In this paper, we consider multiple views of a textured planar scene and consider the problem of ...
SPRINGSIM
2008
13 years 10 months ago
2008
Programmable graphics processing units (GPUs) have emerged as excellent computational platforms for certain general-purpose applications. The data parallel execution capabilities ...