2488 search results - page 454 / 498 » An improvement in formal verification |
122
click to vote
UAI
1996
15 years 2 months ago
1996
Bayesiannetworks provide a languagefor qualitatively representing the conditional independence properties of a distribution. This allows a natural and compact representation of th...
111
click to vote
ACL
1989
15 years 2 months ago
1989
The Context-Free backbone of some natural language analyzers produces all possible CF parses as some kind of shared forest, from which a single tree is to be chosen by a disambigu...
118
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
114
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Decentralized reinforcement learning (DRL) has been applied to a number of distributed applications. However, one of the main challenges faced by DRL is its convergence. Previous ...
104
click to vote
EGOV
2010
Springer
15 years 2 months ago
2010
Springer
E-government has emerged as one of the most promising means to reform the public sector. E-government is now being used to improve services for assisted living. The purpose of assi...