215 search results - page 17 / 43 » Computing Branches Out: On Revitalizing Computing Education |
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
SIGGRAPH
2009
ACM
14 years 2 months ago
2009
ACM
While it seems that interdisciplinary collaboration in a visualization course is (theoretically) a very good idea, the practical undergoing is problematic: in a single semester co...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...
TIT
2010
13 years 2 months ago
2010
We consider channels with action-dependent states: Given the message to be communicated, the transmitter chooses an action sequence that affects the formation of the channel state...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
—Fitts’ law is a fundamental tool in measuring the capacity of the human motor system. It measures information throughput in terms of the tradeoff between the speed and accurac...