2777 search results - page 338 / 556 » Example centric programming |
118
click to vote
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
109
click to vote
ENTCS
2010
15 years 12 days ago
2010
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
144
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We address the problem of finding deformation between two images for the purpose of recognizing objects. The challenge is that discriminative features are often transformation-va...
150
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper is concerned with developing an information-theoretic framework to aggregate the state space of a Hidden Markov Model (HMM) on discrete state and observation spaces. The...
160
click to vote
TNN
2010
14 years 9 months ago
2010
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...