259 search results - page 24 / 52 » Causal Discovery from Changes |
TACAS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
MSWIM
2004
ACM
15 years 2 months ago
2004
ACM
Emerging “urban” ad hoc networks resulting from a large number of individual WLAN users challenge the way users could explore and interact with their physical surroundings. Ro...
VLDB
1999
ACM
15 years 1 months ago
1999
ACM
We describe the architecture of a hypertext resource discovery system using a relational database. Such a system can answer questions that combine page contents, metadata, and hyp...
IM
2003
14 years 11 months ago
2003
: Quantitative models are needed for a variety of management tasks, including (a) identification of critical variables to use for health monitoring, (b) anticipating service level...
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
This paper presents Bayesian edge inference (BEI), a
single-frame super-resolution method explicitly grounded in
Bayesian inference that addresses issues common to existing
meth...