4962 search results - page 661 / 993 » Stochastic Model Checking |
142
Voted
ACSC
2006
IEEE
16 years 15 days ago
2006
IEEE
Modern computer networks contain an amalgamation of devices and technologies, with the performance exhibited by each central to digital communications. Varieties of methods exist ...
156
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...
186
click to vote
EMNLP
2008
15 years 7 months ago
2008
A human annotator can provide hints to a machine learner by highlighting contextual "rationales" for each of his or her annotations (Zaidan et al., 2007). How can one ex...
205
click to vote
JCB
2008
15 years 6 months ago
2008
We present BayesMD, a Bayesian Motif Discovery model with several new features. Three different types of biological a priori knowledge are built into the framework in a modular fa...
169
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...