Sciweavers

2297 search results - page 149 / 460
» Production of Large Computer Programs
Sort
View
CHI
1998
ACM
15 years 6 months ago
New Media, New Practices: Experiences in Open Learning Course Design
We explore some of the complex issues surrounding the design and use of multimedia and Internet-based learning resources in distance education courses. We do so by analysing our e...
Tamara Sumner, Josie Taylor
BIB
2011
14 years 9 months ago
Mutational analysis in RNAs: comparing programs for RNA deleterious mutation prediction
Programs for RNA mutational analysis that are structure-based and rely on secondary structure prediction have been developed and expanded in the past several years. They can be us...
Danny Barash, Alexander Churkin
ACG
2009
Springer
15 years 6 months ago
Conflict Resolution of Chinese Chess Endgame Knowledge Base
Endgame heuristics are often incorperated as part of the evaluation function used in Chinese chess programs. In our program, Contemplation, we have proposed an automatic strategy t...
Bo-Nian Chen, Pangfeng Liu, Shun-chin Hsu, Tsan-sh...
ISSTA
2009
ACM
15 years 8 months ago
Automatic system testing of programs without test oracles
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
Christian Murphy, Kuang Shen, Gail E. Kaiser
FOCS
2010
IEEE
14 years 12 months ago
The Coin Problem and Pseudorandomness for Branching Programs
The Coin Problem is the following problem: a coin is given, which lands on head with probability either 1/2 + or 1/2 - . We are given the outcome of n independent tosses of this co...
Joshua Brody, Elad Verbin