460 search results - page 72 / 92 » Abstract and Discrete Modeling of Spatio-Temporal Data Types |
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
ICDE
2011
IEEE
13 years 9 days ago
2011
IEEE
Abstract—Hyracks is a new partitioned-parallel software platform designed to run data-intensive computations on large shared-nothing clusters of computers. Hyracks allows users t...
JCC
2007
13 years 8 months ago
2007
Abstract: In this study, we applied artificial neural network, implementing the backpropagation algorithm, for the prediction of the excitation and emission maxima of green fluores...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In this paper we propose a probabilistic framework that models shape variations and infers dense and detailed 3D shapes from a single silhouette. We model two types of sh...
LKR
2008
13 years 10 months ago
2008
Abstract. Recent research has enabled important progress in developing agents aimed at real-world linguistic interaction with humans. Hence, within the general shift of research fo...