10715 search results - page 1856 / 2143 » From Tests to Proofs |
330
click to vote
IWINAC
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. One of the more important issues in intelligent video surveillance systems is the ability to handle events from the motion of objects. Thus, the classification of the tr...
178
click to vote
JCAM
2011
14 years 9 months ago
2011
Collocation methods are a well developed approach for the numerical solution of smooth and weakly-singular Volterra integral equations. In this paper we extend these methods, thro...
224
click to vote
JCDL
2011
ACM
14 years 9 months ago
2011
ACM
We describe here a method for automatically identifying word sense variation in a dated collection of historical books in a large digital library. By leveraging a small set of kno...
201
click to vote
JGO
2011
14 years 9 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...
191
click to vote
JOC
2011
14 years 9 months ago
2011
Physical random number generators (a.k.a. TRNGs) appear to be critical components of many cryptographic systems. Yet, such building blocks are still too seldom provided with a form...