5232 search results - page 360 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
180
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
1 A hybrid (symbolic/connectionist) cognitive architecture, DUAL, is proposed. It is a multi-agent system which consist of a large number of non-cognitive, relatively simple agents...
210
click to vote
KAIS
2000
15 years 6 months ago
2000
To use graphics efficiently in an automatic report generation system, one has to model messages and how they go from the writer (intention) to the reader (interpretation). This pap...
188
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
143
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Although engineering models of user behavior have enjoyed a rich history in HCI, they have yet to have a widespread impact due to the complexities of the modeling process. In this...
189
click to vote
EXACT
2007
15 years 9 months ago
2007
In order to assist a power plant operator to face unusual situations, we have developed an intelligent assistant that explains the suggested commands generated by an MDP-based pla...