699 search results - page 112 / 140 » Methods and systems for intelligent human-computer interacti... |
145
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
151
Voted
ESAW
2004
Springer
15 years 10 months ago
2004
Springer
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...
145
Voted
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
121
click to vote
IEAAIE
2009
Springer
15 years 11 months ago
2009
Springer
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...
130
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
We present an application of a multi-agent cooperative search approach to the problem of optimizing gas pipeline operations, i.e. finding control parameters for a gas transmission...