4502 search results - page 764 / 901 » Regular Model Checking |
155
click to vote
NIPS
2008
15 years 6 months ago
2008
It has been shown that the problem of 1-penalized least-square regression commonly referred to as the Lasso or Basis Pursuit DeNoising leads to solutions that are sparse and there...
158
click to vote
NIPS
2008
15 years 6 months ago
2008
We introduce a new interpretation of multiscale random fields (MSRFs) that admits efficient optimization in the framework of regular (single level) random fields (RFs). It is base...
125
Voted
ISTA
2007
15 years 6 months ago
2007
Higher education licensing, i.e. the process of granting permissions to provide certain educational services, is an important process of public administration. Governmental bodies ...
153
click to vote
TREC
2008
15 years 6 months ago
2008
In this paper, we report our experiments in the TREC 2008 Relevance Feedback Track. Our main goal is to study a novel problem in feedback, i.e., optimization of the balance of the...
141
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
Subgroup discovery aims at finding interesting subsets of a classified example set that deviates from the overall distribution. The search is guided by a so-called utility function...