Sciweavers

1441 search results - page 143 / 289
» A Practical Approach to Network-Based Processing
Sort
View
123
Voted
ACMDIS
2008
ACM
15 years 2 months ago
"Narrowcast yourself": designing for community storytelling in a rural Indian context
The StoryBank project is examining technologies and practices to allow digitally impoverished communities to take part in the user-generated content revolution. The approach invol...
Matt Jones, Will Harwood, David Bainbridge, George...
83
Voted
IADIS
2004
15 years 1 months ago
New Perspectives on Teaching and Learning Software Systems Development in Large Groups - Telecollaboration
This paper outlines new perspectives on the teaching and learning of software systems development in large groups based on a newly designed, final year, Software Systems Analysis ...
Zenon Chaczko, David J. Davis, Craig Scott
114
Voted
ENTCS
2007
119views more  ENTCS 2007»
15 years 14 days ago
Interpolant Learning and Reuse in SAT-Based Model Checking
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
João Marques-Silva
111
Voted
NECO
2002
145views more  NECO 2002»
15 years 5 days ago
Bayesian Model Assessment and Comparison Using Cross-Validation Predictive Densities
In this work, we discuss practical methods for the assessment, comparison, and selection of complex hierarchical Bayesian models. A natural way to assess the goodness of the model...
Aki Vehtari, Jouko Lampinen
110
Voted
ICRA
2008
IEEE
173views Robotics» more  ICRA 2008»
15 years 7 months ago
Bayesian reinforcement learning in continuous POMDPs with application to robot navigation
— We consider the problem of optimal control in continuous and partially observable environments when the parameters of the model are not known exactly. Partially Observable Mark...
Stéphane Ross, Brahim Chaib-draa, Joelle Pi...