3909 search results - page 461 / 782 » Extreme Model Checking |
130
click to vote
EMNLP
2006
15 years 6 months ago
2006
The end-to-end performance of natural language processing systems for compound tasks, such as question answering and textual entailment, is often hampered by use of a greedy 1-bes...
123
click to vote
IADIS
2004
15 years 6 months ago
2004
Government bureaucracies are both extremely complex and long-lived, constantly evolving to reflect and influence their ever changing cultural and physical environments. Software s...
122
click to vote
EUSFLAT
2001
15 years 6 months ago
2001
Risk assessment in regions with low earthquake activity is important for reinsurance companies and governmental building authorities. They need a complete picture of the possible ...
150
click to vote
SERP
2004
15 years 6 months ago
2004
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...
127
Voted
IJCAI
2003
15 years 6 months ago
2003
Markov decision processes (MDPs) and contingency planning (CP) are two widely used approaches to planning under uncertainty. MDPs are attractive because the model is extremely gen...