827 search results - page 33 / 166 » Using intentional models for the interface design of multi-l... |
133
Voted
IJAIT
2006
15 years 3 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
144
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper gives an overview of a transaction level modeling (TLM) design flow for straightforward embedded system design with SystemC. The goal is to systematically develop both...
115
Voted
CHI
2000
ACM
15 years 8 months ago
2000
ACM
We discuss a novel type of interface, the intelligent gazeadded interface, and describe the design and evaluation of a sample gaze-added operating-system interface. Gaze-added int...
144
Voted
IJCAI
2003
15 years 4 months ago
2003
Writer’s Aid is a collaborative system that works simultaneously with an author editing a document providing assistance in identifying and inserting citation keys and autonomous...
124
Voted
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Ambient intelligence (AmI) is a promising paradigm for humancentred interaction based on mobile and context-aware computing, natural interfaces and collaborative work. AM...