6059 search results - page 207 / 1212 » A Technique for Verifying Measurements |
158
click to vote
FLAIRS
2008
15 years 9 months ago
2008
In this paper, we model large support vector machines (SVMs) by smaller networks in order to decrease the computational cost. The key idea is to generate additional training patte...
149
click to vote
ESANN
2003
15 years 8 months ago
2003
In this paper we use neural networks to verify the similarity of real astronomical images to predefined reference profiles. We use an innovative technique to encode images that a...
158
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
142
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and in...
168
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In this work we propose and verify a hypothesis on emotional speech production: emotions induce physical and physiological changes in the whole body including changes in the confi...