9284 search results - page 148 / 1857 » Knowledge State Algorithms |
180
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
154
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a new framework for accumulating beliefs in spoken dialogue systems. The technique is based on updating a Bayesian Network that represents the underlying state...
159
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
140
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The iterated prisoner’s dilemma is a widely used computational model of cooperation and conflict. Many studies report emergent cooperation in populations of agents trained to p...
134
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Existing Recurrent Neural Networks (RNNs) are limited in their ability to model dynamical systems with nonlinearities and hidden internal states. Here we use our general framework...