4702 search results - page 249 / 941 » How to Copyright a Function |
177
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
: We initiate the study of property testing of submodularity on the boolean hypercube. Submodular functions come up in a variety of applications in combinatorial optimization. For ...
172
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
174
click to vote
ISMVL
2009
IEEE
16 years 18 days ago
2009
IEEE
We show the advantage of Quarternary Decision Diagrams (QDDs) in representing and evaluating logic functions. That is, we show how QDDs are used to implement QDD machines, which y...
140
click to vote
COLT
2007
Springer
16 years 3 days ago
2007
Springer
In the present paper, we study the problem of aggregation under the squared loss in the model of regression with deterministic design. We obtain sharp oracle inequalities for conve...
146
Voted
BTW
2005
Springer
15 years 11 months ago
2005
Springer
: This paper presents a comfortable and customizable persistence framework that supports the access of relational databases from Java applications. In order to keep the effort for ...