4498 search results - page 208 / 900 » How to Invent Functions |
151
click to vote
FTNET
2007
15 years 4 months ago
2007
We study how protocol design for various functionalities within a communication network architecture can be viewed as a distributed resource allocation problem. This involves unde...
154
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Search spaces sampled by the process of Genetic Programming often consist of programs which can represent a function in many different ways. Thus, when the space is examined it i...
150
click to vote
CORR
2010
Springer
15 years 3 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 ...
145
click to vote
CADE
2004
Springer
16 years 4 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...
151
click to vote
ISMVL
2009
IEEE
15 years 11 months 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...