Sciweavers

1973 search results - page 237 / 395
» The Construction of Ludic Space
Sort
View
IPPS
2006
IEEE
16 years 14 days 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 12 days 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 12 days 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 2 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 2 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