4502 search results - page 259 / 901 » Regular Model Checking |
162
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Regular Expressions (RegExes) are widely used in various applications to identify strings of text. Their flexibility, however, increases the complexity of the detection system and ...
211
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Online Convex Programming (OCP) is a recently developed model of sequential decision-making in the presence of time-varying uncertainty. In this framework, a decisionmaker selects ...
204
click to vote
JMLR
2012
13 years 9 months ago
2012
To relax the homogeneity assumption of classical dynamic Bayesian networks (DBNs), various recent studies have combined DBNs with multiple changepoint processes. The underlying as...
216
click to vote
CRYPTO
2012
Springer
13 years 9 months ago
2012
Springer
We provide a functional encryption system that supports functionality for regular languages. In our system a secret key is associated with a Deterministic Finite Automata (DFA) M....
159
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Two challenges in computer vision are to accommodate noisy data and missing data. Many problems in computer vision, such as segmentation, filtering, stereo, reconstruction, inpain...