8828 search results - page 295 / 1766 » Formal methods in practice |
215
click to vote
CG
2008
Springer
15 years 6 months ago
2008
Springer
Particle-based simulation methods are used to model a wide range of complex phenomena and to solve time-dependent problems of various scales. Effective visualizations of the resul...
166
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Computer science is seeing a decline in enrollment at all levels of education. One key strategy for reversing this decline is to improve methods of student retention. This paper, ...
212
click to vote
EMNLP
2010
15 years 4 months ago
2010
Using multi-layer neural networks to estimate the probabilities of word sequences is a promising research area in statistical language modeling, with applications in speech recogn...
198
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we study the problem of constructing private classifiers using decision trees, within the framework of differential privacy. We first construct privacy-preserving ID...
160
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Today, commodity technologies like mobile phones—once symbols of status and wealth—have become deeply woven into social and economic participation in Western society. Despite ...