4290 search results - page 28 / 858 » Formal Approaches to Teamwork |
AAAI
2011
13 years 12 months ago
2011
We address the problem of transferring information learned from experiments to a different environment, in which only passive observations can be collected. We introduce a formal ...
ICSE
1993
IEEE-ACM
15 years 4 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
100
click to vote
ICCBR
2010
Springer
14 years 10 months ago
2010
Springer
How to reuse or adapt past solutions to new problems is one of the least understood problems in case-based reasoning. In this paper we will focus on the problem of how to combine s...
102
click to vote
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
14 years 12 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
122
click to vote
ISEMANTICS
2010
14 years 10 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...