11397 search results - page 263 / 2280 » A Relational Abstraction for Functions |
184
click to vote
MST
2010
15 years 5 months ago
2010
The class TFNP, defined by Megiddo and Papadimitriou, consists of multivalued functions with values that are polynomially verifiable and guaranteed to exist. Do we have evidence ...
204
click to vote
BIBM
2007
IEEE
16 years 1 months ago
2007
IEEE
Prediction of gene functions is a major challenge to biologists in the post-genomic era. Interactions between genes and their products compose networks and can be used to infer ge...
196
click to vote
ACISP
2007
Springer
16 years 1 months ago
2007
Springer
Recent advances in hash functions cryptanalysis provide a strong impetus to explore new designs. This paper describes a new hash function mq-hash that depends for its security on t...
162
click to vote
AE
2007
Springer
16 years 1 months ago
2007
Springer
The evaluation or fitness function is a key component of any heuristic search algorithm. This paper introduces a new evaluation function for the well-known graph K-coloring proble...
206
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper considers the complexity of interprocedural function pointer may-alias analysis, i.e., determining the set of functions that a function pointer (in a language such as C...