8760 search results - page 404 / 1752 » Modeling users of intelligent systems |
158
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
155
click to vote
KES
2005
Springer
16 years 7 days ago
2005
Springer
In most P2P business models, in which users purchase the media, it is necessary to securely identify the user in order to facilitate payment. In this paper, we present a technique ...
186
click to vote
AIPS
2006
15 years 8 months ago
2006
Mixed-Initiative approaches to Planning and Scheduling are being applied in different real world domains. While several recent successful examples of such tools encourage a wider ...
213
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents an interaction model adapted to mixed reality environments known as IRVO (Interacting with Real and Virtual Objects). IRVO aims at modeling the interaction bet...
210
click to vote
IJMMS
2007
15 years 6 months ago
2007
The investigation of innovative Human–Computer Interfaces (HCI) provides a challenge for future interaction research and development. Brain–Computer Interfaces (BCIs) exploit ...