3742 search results - page 526 / 749 » On the Use of Formal Techniques for Validation |
160
click to vote
WSCG
2004
15 years 8 months ago
2004
Collision detection between moving objects is an open question which raises major problems concerning its algorithmic complexity. In this paper we present a polygon collision dete...
138
click to vote
CGF
2010
15 years 6 months ago
2010
In this paper we study the comprehensive effects on volume rendered images due to numerical errors caused by the use of finite precision for data representation and processing. To...
151
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Sub-image search with high accuracy in natural images still remains a challenging problem. This paper proposes a new feature vector called profile for a keypoint in a bag of visual...
178
click to vote
IEICET
2008
15 years 6 months ago
2008
We propose a domain specific model for statistical machine translation. It is wellknown that domain specific language models perform well in automatic speech recognition. We show ...
173
click to vote
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a predictable and quantifiable approach to designing a covert communication system capable of effectively exploiting covert channels found in the various layer...