5550 search results - page 565 / 1110 » Different Approaches to Proof Systems |
184
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...
214
click to vote
WOA
2001
15 years 8 months ago
2001
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
166
click to vote
WSC
2004
15 years 8 months ago
2004
As systems become more and more complex the use of automation tools becomes more important. Although automation is introduced to reduce human workload, improve situational awarene...
200
Voted
PGLDB
2003
15 years 8 months ago
2003
There is nowadays a lot of interest in the field of Instructional Design. The focus is still on theories and methodology of Instructional System Design (ISD), which are the fundam...
181
click to vote
AAAI
1994
15 years 8 months ago
1994
Intelligent artificial agents need to be able to explain and justify their actions. They must therefore understand the rationales for their own actions. This paper describes a tec...