562 search results - page 25 / 113 » Dependency Pairs Revisited |
148
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
105
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
Relative fitness, or “evaluation by tests” is one of the building blocks of coevolution: the only fitness information available is a comparison with other individuals in a p...
107
click to vote
PAKDD
2009
ACM
15 years 8 months ago
2009
ACM
The trend of social information processing sees e-commerce and social web applications increasingly relying on user-generated content, such as rating, to determine the quality of o...
128
click to vote
NIPS
2008
15 years 3 months ago
2008
The coding of information by neural populations depends critically on the statistical dependencies between neuronal responses. However, there is no simple model that can simultane...
128
Voted
CGO
2004
IEEE
15 years 5 months ago
2004
IEEE
Instruction scheduling hardware can be simplified and easily pipelined if pairs of dependent instructions are fused so they share a single instruction scheduling slot. We study an...