Sciweavers

2941 search results - page 162 / 589
» The Myth of the Educational Computer
Sort
View
SIGCSE
2006
ACM
131views Education» more  SIGCSE 2006»
15 years 10 months ago
An undergraduate course on software bug detection tools and techniques
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
Eric Larson
CORR
2012
Springer
180views Education» more  CORR 2012»
14 years 8 days ago
Solving Cooperative Reliability Games
Cooperative games model the allocation of profit from joint actions, following considerations such as stability and fairness. We propose the reliability extension of such games, ...
Yoram Bachrach, Reshef Meir, Michal Feldman, Moshe...
CORR
2012
Springer
210views Education» more  CORR 2012»
14 years 8 days ago
Fast MCMC sampling for Markov jump processes and continuous time Bayesian networks
Markov jump processes and continuous time Bayesian networks are important classes of continuous time dynamical systems. In this paper, we tackle the problem of inferring unobserve...
Vinayak Rao, Yee Whye Teh
CORR
2012
Springer
209views Education» more  CORR 2012»
14 years 8 days ago
Aggregation in Probabilistic Databases via Knowledge Compilation
This paper presents a query evaluation technique for positive relational algebra queries with aggregates on a representation system for probabilistic data based on the algebraic s...
Robert Fink, Larisa Han, Dan Olteanu
CORR
2012
Springer
220views Education» more  CORR 2012»
14 years 8 days ago
A Bijective String Sorting Transform
Given a string of characters, the Burrows-Wheeler Transform rearranges the characters in it so as to produce another string of the same length which is more amenable to compressio...
Joseph Yossi Gil, David Allen Scott