13099 search results - page 264 / 2620 » Cooperative method development |
160
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
148
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
As project teams become used more widely, the question of how to capitalize on the knowledge learned in these teams remains an open issue. Using previous research on transactive m...
179
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Cooperative, autonomous and distributed properties of multiagent systems deduce the dynamic capabilities of multi-agent system applications. On the other hand, these suit...
151
click to vote
CVHI
2007
15 years 8 months ago
2007
: This paper presents different aspects in developing socially inclusive eLearning models to help people with disabilities improving their work life and facilitating their integrat...
197
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Coalition formation methods allow agents to join together and are thus necessary in cases where tasks can only be performed cooperatively by groups. This is the case in the Reques...