1292 search results - page 130 / 259 » A Designer's Guide to KEMs |
SAT
2004
Springer
14 years 1 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
ICALT
2003
IEEE
14 years 1 months ago
2003
IEEE
We provide empirical support for the assertions that high level of knowledge construction is associated with structured design and that knowledge construction is associated with c...
AGENTCL
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The capabilities for agents in a team to anticipate informationneeds of teammates and proactively offer relevant information are highly desirable. However, such behavior...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
In this paper, we examine two multi-agent based representations of SATs and further experimentally study the topologies of resulting agent networks. We show that different repres...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
This article builds on insights into how humans cope with emotion to guide the design of virtual humans. Although coping is increasingly viewed in the psychological literature as ...