Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
Dimensionality reduction is an important preprocessing step in high-dimensional data analysis without losing intrinsic information. The problem of semi-supervised nonlinear dimensi...
Many different automatic color correction approaches have been proposed by different research communities in the past decade. However, these approaches are seldom compared, so the...
People are ready to change themselves to adopt more ecofriendly habits such as conserving electricity when they are aware of the possible problems of their lifestyle. In this sens...
Human-nameable visual attributes offer many advantages when used as mid-level features for object recognition, but existing techniques to gather relevant attributes can be ineffici...