4502 search results - page 627 / 901 » Regular Model Checking |
179
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a mobile tracking scheme that exploits the predictability of user mobility patterns in wireless PCS networks. Instead of the constant velocity fluid-flow or the...
205
click to vote
EELC
2006
15 years 10 months ago
2006
We present a neural-competitive learning model of language evolution in which several symbol sequences compete to signify a given propositional meaning. Both symbol sequences and p...
200
click to vote
AAAI
2010
15 years 8 months ago
2010
Matrix factorization is a fundamental technique in machine learning that is applicable to collaborative filtering, information retrieval and many other areas. In collaborative fil...
158
click to vote
ESANN
2004
15 years 8 months ago
2004
The problem of model selection for support vector machines (SVMs) is considered. We propose an evolutionary approach to determine multiple SVM hyperparameters: The covariance matr...
185
click to vote
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a new image denoising model for real color photo noise removal. Our model is implemented in the hue, saturation and intensity (HSI) space. The hue and saturati...