Sciweavers

4914 search results - page 669 / 983
» Arbitration of a help system
Sort
View
CDC
2009
IEEE
111views Control Systems» more  CDC 2009»
15 years 11 months ago
Quotient method for controlling the acrobot
— This paper describes a two-sweep control design method to stabilize the acrobot, an input-affine under-actuated system, at the upper equilibrium point. In the forward sweep, t...
Sudarsandhari Shibani Willson, Philippe Müllh...
AGENTS
2000
Springer
15 years 11 months ago
MAS Infrastructure: Definitions, Needs and Prospects
This paper attempts to articulate the general role of infrastructure for multi-agent systems (MAS), and why infrastructure is a particularly critical issue if we are to increase th...
Les Gasser
ITS
1998
Springer
107views Multimedia» more  ITS 1998»
15 years 11 months ago
Toward a Unification of Human-Computer Learning and Tutoring
We define a learning tutor as being an intelligent agent that learns from human tutors and then tutors human learners. The notion of a learning tutor provides a conceptual framewor...
Henry Hamburger, Gheorghe Tecuci
ATAL
2008
Springer
15 years 8 months ago
WADE: a software platform to develop mission critical applications exploiting agents and workflows
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
Giovanni Caire, Danilo Gotta, Massimo Banzi
DLS
2008
149views Languages» more  DLS 2008»
15 years 8 months ago
Gradual typing with unification-based inference
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
Jeremy G. Siek, Manish Vachharajani