2670 search results - page 26 / 534 » Modeling systems with internal state using evolino |
140
Voted
CADE
2007
Springer
16 years 23 days 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...
95
Voted
CSREASAM
2006
15 years 1 months ago
2006
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
94
Voted
PERCOM
2007
ACM
16 years 1 days ago
2007
ACM
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
107
click to vote
HCI
2009
14 years 10 months ago
2009
The main goal of dialog management is to provide all information needed to perform e. g. a SQL-query, a navigation task, etc. Two principal approaches for dialog management systems...
124
click to vote
LWA
2007
15 years 1 months ago
2007
Typical conversational recommender systems support interactive strategies that are hard-coded in advance and followed rigidly during a recommendation session. In fact, Reinforceme...