10568 search results - page 511 / 2114 » Computer Intelligence and Formalization |
120
click to vote
ISTA
2007
15 years 7 months ago
2007
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...
138
click to vote
IADIS
2004
15 years 7 months ago
2004
This paper introduces a study about managing the performance of virtual teams using intelligent agents. Through a review of previous research, the paper starts by contextually sit...
194
click to vote
JBI
2008
15 years 5 months ago
2008
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
152
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In many AI settings an agent is comprised of both actionplanning and action-execution components. We examine the relationship between the precision of the execution component, the...
129
click to vote
CIE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...