5090 search results - page 83 / 1018 » Constructing Strategies for Programming |
TLCA
2009
Springer
14 years 3 months ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
SIMPAR
2010
13 years 7 months ago
2010
To benchmark the efficiency of exploration strategies one has to use robot simulators. In an exploration task, the robot faces an unknown environment. Of course one could test the ...
TEI
2010
ACM
14 years 3 months ago
2010
ACM
This paper describes Kinematics: a novel construction toy for children consisting of both active (shape-changing or rotating) and passive building blocks. In comparison to similar...
IWCMC
2006
ACM
14 years 3 months ago
2006
ACM
One important characteristic of wireless sensor networks is energy stringency. Constructing a connected dominating set (CDS) has been widely used as a topology control strategy to...
ECIS
2004
13 years 10 months ago
2004
The term electronic government (e-Government) generally refers to the use of information and communications technology (ICT) to change the structures and processes of government o...