Sciweavers

1973 search results - page 237 / 395
» The Construction of Ludic Space
Sort
View
IPPS
2006
IEEE
16 years 1 months ago
Timed automata based analysis of embedded system architectures
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...
Martijn Hendriks, Marcel Verhoef
IWCMC
2006
ACM
16 years 1 months ago
Security aspects of inter-satellite links using neural networks
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. ...
NORDICHI
2006
ACM
16 years 1 months ago
Supporting 3D window manipulation with a yawing mouse
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...
Rodrigo Almeida, Pierre Cubaud
ICPR
2010
IEEE
16 years 24 days ago
Shift-Map Image Registration
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...
Linus Svärm, Petter Strandmark
CEC
2005
IEEE
16 years 23 days ago
Evolving dispatching rules for solving the flexible job-shop problem
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 ...
Nhu Binh Ho, Joc Cing Tay