4502 search results - page 433 / 901 » Regular Model Checking |
179
click to vote
APWEB
2003
Springer
15 years 10 months ago
2003
Springer
People display regularities in almost everything they do. This paper proposes characteristics of an idealized algorithm that would allow an automatic extraction of web user profil ...
199
click to vote
SIAMSC
2010
15 years 5 months ago
2010
In this paper, we develop a fast multilevel algorithm for simultaneously denoising and deblurring images under the total variation regularization. Although much effort has been de...
197
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
We devise a boosting approach to classification and regression based on column generation using a mixture of kernels. Traditional kernel methods construct models based on a single...
167
click to vote
WSC
2008
15 years 9 months ago
2008
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
176
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...