4502 search results - page 763 / 901 » Regular Model Checking |
165
Voted
HAIS
2010
Springer
15 years 6 months ago
2010
Springer
Electric grids are moving from a centralized single supply chain towards a decentralized bidirectional grid of suppliers and consumers in an uncertain and dynamic scenario. Soon, t...
163
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...
127
click to vote
DEXA
2008
Springer
15 years 6 months ago
2008
Springer
The usage of descriptive data mining methods for predictive purposes is a recent trend in data mining research. It is well motivated by the understandability of learned models, the...
151
click to vote
EMNLP
2008
15 years 6 months ago
2008
We describe an approach for acquiring the domain-specific dialog knowledge required to configure a task-oriented dialog system that uses human-human interaction data. The key aspe...
123
click to vote
LREC
2008
15 years 6 months ago
2008
Many NLP modules and applications require the availability of a module for wide-coverage inflectional analysis. One way to obtain such analyses is to use an morphological analyser...