10038 search results - page 1925 / 2008 » Model Checking for Managers |
100
click to vote
CONCURRENCY
2008
15 years 23 days ago
2008
: Over the last few years, several nations around the world have set up Grids to share resources such as computers, data, and instruments to enable collaborative science, engineeri...
130
Voted
CSL
2010
Springer
15 years 23 days ago
2010
Springer
This paper describes a statistically motivated framework for performing real-time dialogue state updates and policy learning in a spoken dialogue system. The framework is based on...
96
Voted
EOR
2010
15 years 22 days ago
2010
Resources including various assets of supply chains, face random demand over time and can be shared by others. We consider an operational setting where a resource is shared by two...
103
Voted
AAI
2006
15 years 22 days ago
2006
The problem of finding a high quality timetable for personnel in a hospital ward has been addressed by many researchers, personnel managers and schedulers over a number of years. ...
121
Voted
BMCBI
2006
15 years 22 days ago
2006
Background: The rapid proliferation of biomedical text makes it increasingly difficult for researchers to identify, synthesize, and utilize developed knowledge in their fields of ...