4502 search results - page 59 / 901 » Regular Model Checking |
109
Voted
ICSOC
2007
Springer
15 years 6 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
103
Voted
ICIP
2003
IEEE
15 years 5 months ago
2003
IEEE
Regularization constraints are necessary in inverse problems such as image restoration, optical flow computation or shape from shading to avoid the singularities in the solution....
107
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper, we present a model for unsupervised pattern discovery using non-negative matrix factorization (NMF) with graph regularization. Though the regularization can be appl...
98
Voted
UAI
2003
15 years 1 months ago
2003
We formulate a principle for classification with the knowledge of the marginal distribution over the data points (unlabeled data). The principle is cast in terms of Tikhonov styl...
95
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
High-dimensional statistical inference deals with models in which the the number of parameters p is comparable to or larger than the sample size n. Since it is usually impossible ...