3356 search results - page 372 / 672 » Computing education for sustainability |
160
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditio...
211
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Contradiction is often seen as a defect of intelligent systems and a dangerous limitation on efficiency. In this paper we raise the question of whether, on the contrary, it could ...
158
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We consider a standard splitting algorithm for the rare-event simulation of overflow probabilities in any subset of stations in a Jackson network at level n, starting at a fixed i...
209
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...
190
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
As users begin to use many more devices for personal information management (PIM) than just the traditional desktop computer, it is essential for HCI researchers to understand how...