4962 search results - page 565 / 993 » Stochastic Model Checking |
142
Voted
DSD
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
148
Voted
IADIS
2004
15 years 6 months ago
2004
We have developed models of how strategies are constructed and retained as male and female high school and university students gain experience in solving online qualitative chemic...
123
click to vote
AAAI
1998
15 years 6 months ago
1998
We present a noisy-OR Bayesian network model for simulation-based training, and an efficient search-based algorithm for automatic synthesis of plausible training scenarios from co...
156
click to vote
NIPS
1998
15 years 6 months ago
1998
Inference is a key component in learning probabilistic models from partially observable data. When learning temporal models, each of the many inference phases requires a complete ...
154
click to vote
NIPS
2000
15 years 6 months ago
2000
People can understand complex auditory and visual information, often using one to disambiguate the other. Automated analysis, even at a lowlevel, faces severe challenges, includin...