Sciweavers

7504 search results - page 353 / 1501
» Computing with Action Potentials
Sort
View
VIP
2003
15 years 6 months ago
Screen Capture - A Vector Quantisation Approach
Over the last couple of decades, more and more presentations are done on computer screen. The need to store or broadcast such presentation efficiently is in high demand across dif...
Jesse S. Jin, Sue R. Wu
ECAI
2008
Springer
15 years 5 months ago
Regression for Classical and Nondeterministic Planning
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
Jussi Rintanen
IPM
2008
89views more  IPM 2008»
15 years 4 months ago
Design and evaluation of awareness mechanisms in CiteSeer
Awareness has been extensively studied in human computer interaction (HCI) and computer supported cooperative work (CSCW). The success of many collaborative systems hinges on effe...
Umer Farooq, Craig H. Ganoe, John M. Carroll, Isaa...
ACS
2011
14 years 11 months ago
The Compositional Construction of Markov Processes
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
Luisa de Francesco Albasini, Nicoletta Sabadini, R...
130
Voted
ITICSE
2009
ACM
15 years 11 months ago
Evaluating student experiences in developing software for humanity
Student involvement in Humanitarian Free and Open Source Software (HFOSS) projects holds the potential to provide a rich education experience to undergraduates. This paper discuss...
Gregory W. Hislop, Heidi J. C. Ellis, Ralph A. Mor...