2607 search results - page 71 / 522 » Complete Functional Synthesis |
134
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
144
Voted
LCPC
1999
Springer
15 years 7 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
112
click to vote
NIPS
2008
15 years 4 months ago
2008
We present an algorithm for solving a broad class of online resource allocation . Our online algorithm can be applied in environments where abstract jobs arrive one at a time, and...
130
Voted
ISAAC
2005
Springer
15 years 9 months ago
2005
Springer
We characterize the gap between time and space complexity of functions by operators and completeness. First, we introduce a new notion of operators for function complexity classes ...
133
Voted
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
Many newly discovered genes are of unknown function. DNA microarrays are a method for determining the expression levels of all genes in an organism for which a complete genome seq...