Sciweavers

1177 search results - page 117 / 236
» Iterative methods for Robbins problems
Sort
View
117
Voted
IFIP7
2001
Springer
137views Optimization» more  IFIP7 2001»
15 years 5 months ago
Data Mining via Support Vector Machines
Support vector machines (SVMs) have played a key role in broad classes of problems arising in various fields. Much more recently, SVMs have become the tool of choice for problems...
Olvi L. Mangasarian
PPOPP
1995
ACM
15 years 4 months ago
A Model and Compilation Strategy for Out-of-Core Data Parallel Programs
It is widely acknowledged in high-performance computing circles that parallel input/output needs substantial improvement in order to make scalable computers truly usable. We prese...
Rajesh Bordawekar, Alok N. Choudhary, Ken Kennedy,...
CORR
2000
Springer
88views Education» more  CORR 2000»
15 years 12 days ago
The lexicographic closure as a revision process
The connections between nonmonotonic reasoning and belief revision are well-known. A central problem in the area of nonmonotonic reasoning is the problem of default entailment, i.e...
Richard Booth
120
Voted
ICML
2009
IEEE
16 years 1 months ago
Convex variational Bayesian inference for large scale generalized linear models
We show how variational Bayesian inference can be implemented for very large generalized linear models. Our relaxation is proven to be a convex problem for any log-concave model. ...
Hannes Nickisch, Matthias W. Seeger
113
Voted
ASPDAC
2009
ACM
144views Hardware» more  ASPDAC 2009»
15 years 5 months ago
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee