7988 search results - page 1080 / 1598 » A Useful Undecidable Theory |
185
click to vote
SMA
2005
ACM
16 years 23 days ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...
193
click to vote
AIED
2005
Springer
16 years 22 days ago
2005
Springer
Pedagogical agent research seeks to exploit Reeves and Nass’s Media Equation, which holds that users respond to interactive media as if they were social actors. Investigations ha...
155
click to vote
AIED
2005
Springer
16 years 22 days ago
2005
Springer
Politeness may play a role in tutorial interaction, including promoting learner motivation and avoiding negative affect. Politeness theory can account for this as a means of mitiga...
191
click to vote
ARGMAS
2005
Springer
16 years 22 days ago
2005
Springer
Recent years have seen an increasing interest of multiagent system research in employing the theory of argumentation for the development of communication protocols. While signific...
207
click to vote
DSOM
2005
Springer
16 years 22 days ago
2005
Springer
The growth in the scale of systems and networks has created many challenges for their management, especially for event processing. Our premise is that scaling event processing requ...