We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
This paper presents a neural network model for routing in the space segment of a Satellite Personal Communication System. At first, a proper energy function is constructed from th...
Peter P. Stavroulakis, Ioannis Dimou, Harilaos G. ...
We present an interaction technique based on a yawing mouse (a device that senses the yaw orientation), designed for integral manipulation of 3D desktop windows in a three degrees...
Shift-map image processing is a new framework based on energy minimization over a large space of labels. The optimization utilizes α-expansion moves and iterative refinement ove...
We solve the Flexible Job-Shop Problem (FJSP) by using dispatching rules discovered through Genetic Programming (GP). While Simple Priority Rules (SPR) have been widely applied in ...