Sciweavers

3 search results - page 1 / 1
» Generating Exponentially Smaller POMDP Models Using Conditio...
Sort
View
OSDI
2002
ACM
14 years 5 months ago
Using Model Checking to Debug Device Firmware
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
Sanjeev Kumar, Kai Li
NIPS
2008
13 years 6 months ago
Non-stationary dynamic Bayesian networks
Abstract: Structure learning of dynamic Bayesian networks provide a principled mechanism for identifying conditional dependencies in time-series data. This learning procedure assum...
Joshua W. Robinson, Alexander J. Hartemink