4770 search results - page 524 / 954 » Flexible Type Analysis |
192
click to vote
BCSHCI
2009
15 years 8 months ago
2009
People use media-sharing web sites to document their lives and those of their children for maintaining and strengthening social ties with people living away. It is clear then that...
180
click to vote
ICIP
2009
IEEE
16 years 8 months ago
2009
IEEE
Most algorithms for extracting illuminant chromaticity from arbitrary images, such as the images found on the web, are based on machine learning techniques. We will show how a phy...
167
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The Gulf Cooperation Council (GCC) is nearing the completion of a high voltage transmission system designed to integrate the power systems of Saudi Arabia, Kuwait, Bahrain, Qatar,...
141
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
153
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
We present a unified optimal semi-online algorithm for preemptive scheduling on uniformly related machines with the objective to minimize the makespan. This algorithm works for a...