2607 search results - page 213 / 522 » Complete Functional Synthesis |
139
click to vote
COCOON
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with problems which fall into the domain of selfish scheduling: a protocol is in charge of building a schedule for a set of tasks without directly knowing their l...
119
click to vote
PAMI
2006
15 years 4 months ago
2006
Video stabilization is an important video enhancement technology which aims at removing annoying shaky motion from videos. We propose a practical and robust approach of video stabi...
121
click to vote
BMCBI
2002
15 years 4 months ago
2002
Background: An organism's ability to adapt to its particular environmental niche is of fundamental importance to its survival and proliferation. In the largest study of its k...
193
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
136
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
We clarify the role of Kolmogorov complexity in the area of randomness extraction. We show that a computable function is an almost randomness extractor if and only if it is a Kolm...