Search results for "mode confusion"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Sébastien Combéfis, Charles Pecheur	A bisimulation-based approach to the analysis of human-computer interaction.	EICS	2009	DBLP DOI BibTeX RDF	human-computer interaction (HCI) modelling, mode confusion, formal methods, bisimulation
2	Bettina Buth	Analysing Mode Confusion: An Approach Using FDR2.	SAFECOMP	2004	DBLP DOI BibTeX RDF
2	Jan Bredereke, Axel Lankenau	A Rigorous View of Mode Confusion.	SAFECOMP	2002	DBLP DOI BibTeX RDF
2	Gerald Lüttgen, Victor Carreño	Analyzing Mode Confusion via Model Checking.	SPIN	1999	DBLP DOI BibTeX RDF
1	Hui Shi, Cui Jian, Bernd Krieg-Brückner	Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots.	ACHI	2010	DBLP DOI BibTeX RDF	qualitative spatial representation and reasoning, mode confusion, user focus, human-robot interaction
1	Yukio Horiguchi, R. Fukuju, Tetsuo Sawaragi	Differentiation of input-output relations to facilitate user's correct awareness of operating mode of automated control system.	SMC	2007	DBLP DOI BibTeX RDF
1	Haining Lee, Jaeil Park, Peom Park, Myungchul Jung, Dongmin Shin	Dynamic Conflict Detection and Resolution in a Human-Centered Ubiquitous Environment.	HCI	2007	DBLP DOI BibTeX RDF	human-centered ubiquitous environment, resolution, human interaction, Conflicts detection
1	Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns	Automatic Critiques of Interface Modes.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Bruno d'Ausbourg	Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord.	IHM	2002	DBLP DOI BibTeX RDF	flight deck equipments, verification, interaction, formal languages, intentions, lustre
1	Ricky W. Butler	Formal Methods at NASA Langley.	TPHOLs	2002	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )