4502 search results - page 310 / 901 » Regular Model Checking |
217
click to vote
SERA
2010
Springer
15 years 5 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
197
click to vote
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Unstructured peer-to-peer networks can be extremely flexible, but, because of size, complexity, and high variability in peers’ capacity and reliability, it is a conti...
163
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
A class of sparse regularization functions are considered for the developing sparse classifiers for determining facial gender. The sparse classification method aims to both select...
160
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We present multi-task structure learning for Gaussian graphical models. We discuss uniqueness and boundedness of the optimal solution of the maximization problem. A block coordina...
204
click to vote
JUCS
2011
15 years 1 months ago
2011
Abstract: Neural network learning approach for color image restoration has been discussed in this paper and one of the possible solutions for restoring images has been presented. H...