4117 search results - page 543 / 824 » On the Satisfiability of Complex Constraints |
183
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The problem of recovering the sparsity pattern of a fixed but unknown vector β∗ ∈ Rp based on a set of n noisy observations arises in a variety of settings, including subset...
201
click to vote
JWSR
2008
15 years 6 months ago
2008
: The increasing ability for the sciences to sense the world around us is resulting in a growing need for data driven applications that are under the control of workflows composed ...
139
click to vote
ECCC
2007
15 years 6 months ago
2007
We introduce the notion of a Canonical Tester for a class of properties on distributions, that is, a tester strong and general enough that “a distribution property in the class ...
169
click to vote
JANCL
2007
15 years 6 months ago
2007
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
160
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract--This paper compares two evaluation criterion frameworks for sociotechnical software. Research on the technology acceptance model (TAM) confirms that perceived usefulness ...