Search results for "KLM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
148	Hui Li 0058, Ying Liu 0041, Jun Liu 0016, Xia Wang, Yujiang Li, Pei-Luen Patrick Rau	Extended KLM for mobile phone interaction: a user study result.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	mobile phone interaction, user study, keystroke-level model (klm)
103	Michael Pettitt, Gary E. Burnett, Alan Stevens	An extended keystroke level model (KLM) for predicting the visual demand of in-vehicle information systems.	CHI	2007	DBLP DOI BibTeX RDF	HCI, occlusion, driver distraction, keystroke level model, in-vehicle information systems
84	Peter H. M. Jacobs, Alexander Verbraeck, Jeroen B. P. Mulder	Flight scheduling at KLM.	WSC	2005	DBLP DOI BibTeX RDF
76	Lu Luo, Bonnie E. John	Predicting task execution time on handheld devices using the keystroke-level model.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	task execution time, cognitive modeling, handheld device, keystroke-level model
64	Anna Louise Cox, Paul A. Cairns, Alison Walton, Sasha Lee	Tlk or txt? Using voice input for SMS composition.	Pers. Ubiquitous Comput.	2008	DBLP DOI BibTeX RDF	Voice-entry, Keypress, KLM GOMS, Hands-busy, Eyes-busy, SMS
64	Paul Holleis, Dagmar Kern, Albrecht Schmidt 0001	Integrating user performance time models in the design of tangible UIs.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	Keystroke-Level Model (KLM), platform independent prototyping, user performance times, tool support
64	Paul Holleis, Friederike Otto, Heinrich Hussmann, Albrecht Schmidt 0001	Keystroke-level model for advanced mobile phone interaction.	CHI	2007	DBLP DOI BibTeX RDF	keystroke-level model (KLM), mobile phone interaction, real world interaction, design decisions, user performance
57	Nir Friedman, Joseph Y. Halpern	Plausibility measures and default reasoning.	J. ACM	2001	DBLP DOI BibTeX RDF	?-semantics, ?-rankings, plausibility measures, preferential orderings nonmonotonic inference, default reasoning, possibility measures, Conditional logic
57	Joseph Y. Halpern, Nir Friedman	Plausibility Measures and Default Reasoning: An Overview.	LICS	1999	DBLP DOI BibTeX RDF
53	Florent Cabric, Emmanuel Dubois 0001, Marcos Serrano	Extension de KLM au Pointage du Regard et Validation Gestuelle dans HoloLens: Extending KLM to Model Spatial Search, Gaze Pointing and Mid-Air Validation for Hololens.	IHM	2021	DBLP DOI BibTeX RDF
53	Nahid Eddermoug, Abdeljebar Mansour, Mohamed Sadik, Essaid Sabir, Mohamed Azmi	Klm-PPSA: Klm-based profiling and preventing security attacks for cloud environments: Invited Paper.	WINCOM	2019	DBLP DOI BibTeX RDF
46	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Analytic tableaux calculi for KLM logics of nonmonotonic reasoning.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Analytic tableaux calculi, nonmonotonic reasoning
46	Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato	KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.	TABLEAUX	2007	DBLP DOI BibTeX RDF
46	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0.	AI*IA	2007	DBLP DOI BibTeX RDF
46	Matthijs J. J. Wolters, Martijn R. Hoogeweegen	Management Support for Globally Operating Virtual Organizations: The Case of KLM Distribution.	HICSS	1999	DBLP DOI BibTeX RDF
45	Claude Chapdelaine, Samuel Foucher, Langis Gagnon	Impact of Gaze Analysis on the Design of a Caption Production Software.	HCI (7)	2009	DBLP DOI BibTeX RDF	Caption production, eye-tracking analysis, facial recognition, Keystoke-Level Model (KLM)
45	Nir Friedman, Joseph Y. Halpern, Daphne Koller	First-order conditional logic for default reasoning revisited.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	KLM properties, plausibility measures, completeness, first-order logic, default reasoning, conditional logic
38	Jeff Sauro	Estimating Productivity: Composite Operators for Keystroke Level Modeling.	HCI (1)	2009	DBLP DOI BibTeX RDF
38	Leonghwee Teo, Bonnie E. John	Comparisons of keystroke-level model predictions to observed data.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	cognitive modeling, keystroke-level model
27	Bonnie E. John, Shunsuke Suzuki	Toward Cognitive Modeling for Predicting Usability.	HCI (1)	2009	DBLP DOI BibTeX RDF	KLM, CogTool, Cognitive modeling, GOMS, Information Foraging
27	Bonnie E. John, Konstantine C. Prevas, Dario D. Salvucci, Kenneth R. Koedinger	Predictive human performance modeling made easy.	CHI	2004	DBLP DOI BibTeX RDF	KLM, cognitive modeling, GOMS
27	Nahid Eddermoug, Abdeljebar Mansour, Mohamed Sadik, Essaid Sabir, Mohamed Azmi	klm-PPSA v. 1.1: machine learning-augmented profiling and preventing security attacks in cloud environments.	Ann. des Télécommunications	2023	DBLP DOI BibTeX RDF
27	Nahid Eddermoug, Abdeljebar Mansour, Mohamed Sadik, Essaid Sabir, Mohamed Azmi	klm-PPSA Dataset V 1.0.		2022	DOI RDF
27	Giovanni Casini, Thomas Meyer 0002, Guy Paterson-Jones, Ivan Varzinczak	KLM-Style Defeasibility for Restricted First-Order Logic.	RuleML+RR	2022	DBLP DOI BibTeX RDF
27	Steve Wang, Thomas Meyer 0002, Deshendran Moodley	Defeasible Justification Using the KLM Framework.	SACAIR	2022	DBLP DOI BibTeX RDF
27	Katarina Britz, Giovanni Casini, Thomas Meyer 0002, Kody Moodley, Uli Sattler, Ivan Varzinczak	Principles of KLM-style Defeasible Description Logics.	ACM Trans. Comput. Log.	2021	DBLP DOI BibTeX RDF
27	Laura Giordano 0001	On the KLM properties of a fuzzy DL with Typicality.	CoRR	2021	DBLP BibTeX RDF
27	Laura Giordano 0001	On the KLM Properties of a Fuzzy DL with Typicality.	ECSQARU	2021	DBLP DOI BibTeX RDF
27	Nahid Eddermoug, Abdeljebar Mansour, Mohamed Sadik, Essaid Sabir, Mohamed Azmi	Klm-based Profiling and Preventing Security Attacks for Cloud Computing: A Comparative Study.	ICT	2021	DBLP DOI BibTeX RDF
27	Daniel Cunha, Rui P. Duarte, Carlos Augusto S. Cunha	KLM-GOMS Detection of Interaction Patterns Through the Execution of Unplanned Tasks.	ICCSA (2)	2021	DBLP DOI BibTeX RDF
27	Lloyd Everett, Emily Morris, Thomas Meyer 0002	Explanation for KLM-Style Defeasible Reasoning.	SACAIR	2021	DBLP DOI BibTeX RDF
27	Guy Paterson-Jones, Giovanni Casini, Thomas Meyer 0002	A Boolean Extension of KLM-Style Conditional Reasoning.	SACAIR	2020	DBLP DOI BibTeX RDF
27	Katri Leino, Antti Oulasvirta, Mikko Kurimo	RL-KLM: automating keystroke-level modeling with reinforcement learning.	IUI	2019	DBLP DOI BibTeX RDF
27	Katarina Britz, Giovanni Casini, Thomas Meyer 0002, Ivan Varzinczak	A KLM Perspective on Defeasible Reasoning for Description Logics.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
27	Kazuto Oshima	Channel fidelities for high-fidelity approach in KLM scheme.	Quantum Inf. Comput.	2018	DBLP DOI BibTeX RDF
27	Katarina Britz, Ivan José Varzinczak	From KLM-style conditionals to defeasible modalities, and back.	J. Appl. Non Class. Logics	2018	DBLP DOI BibTeX RDF
27	Silvia Berenice Fajardo Flores, Laura S. Gaytán-Lugo, Pedro C. Santana-Mancilla, Miguel A. Rodriguez-Ortiz	Comparison Between KLM Estimations and Screen Reader Times in Non-Visual Interaction.	MexIHC	2018	DBLP DOI BibTeX RDF
27	Florent Laroche	KLM for Heritage : Vers une humanisation de l'industrie par les Connaissances PatrimonialesOu comment considérer le patrimoine comme pilier de connaissances pour construire un futur durable. ( : Towards a humanization of industry by Heritage KnowledgeOr How to consider heritage as a pillar of knowledge to build a sustainable future).		2017	RDF
27	Shahir Burhani, Wim J. C. Verhagen, Richard Curran	Measuring Compliance During Aircraft (Component) Redeliveries at KLM Engineering & Maintenance.	TE	2016	DBLP DOI BibTeX RDF
27	Christos Katsanos, Nikolaos K. Tselios, Nikolaos Karousos, Michalis Xenos	Learning web form design by using the KLM form analyzer: a case study.	Panhellenic Conference on Informatics	2015	DBLP DOI BibTeX RDF
27	Andrew D. Rice, Jonathan W. Lartigue	Touch-level model (TLM): evolving KLM-GOMS for touchscreen and mobile devices.	ACM Southeast Regional Conference	2014	DBLP DOI BibTeX RDF
27	Karim Mohsen Mahmoud El Batran, Mark D. Dunlop	Enhancing KLM (keystroke-level model) to fit touch screen mobile devices.	Mobile HCI	2014	DBLP DOI BibTeX RDF
27	Aisheng Wu, Xiaoxiong Xiong, Amit Angal	Derive a MODIS-Based Calibration for the AVHRR Reflective Solar Channels of the NOAA KLM Operational Satellites.	IEEE Trans. Geosci. Remote. Sens.	2013	DBLP DOI BibTeX RDF
27	Christos Katsanos, Nikos Karousos, Nikolaos K. Tselios, Michalis Nik Xenos, Nikolaos M. Avouris	KLM Form Analyzer: Automated Evaluation of Web Form Filling Tasks Using Human Performance Models.	INTERACT (2)	2013	DBLP DOI BibTeX RDF
27	Peter W. Webley	Virtual Globe visualization of ash-aviation encounters, with the special case of the 1989 Redoubt-KLM incident.	Comput. Geosci.	2011	DBLP DOI BibTeX RDF
27	Steven De Haes, Dirk Gemke, John Thorp, Wim Van Grembergen	KLM's Enterprise Governance of IT Journey: From Managing IT Costs to Managing Business Value.	MIS Q. Executive	2011	DBLP BibTeX RDF
27	Prabhath Gokarn, Kushal Gore, Devanuj, Pankaj Doke, Sylvan Lobo, Sanjay Kimbahune	KLM operator values for rural mobile phone user.	IndiaHCI	2011	DBLP DOI BibTeX RDF
27	Paul Holleis, Maximilian Scherr, Gregor Broll	A Revised Mobile KLM for Interaction with Multiple NFC-Tags.	INTERACT (4)	2011	DBLP DOI BibTeX RDF
27	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	A Nonmonotonic Extension of KLM Preferential Logic P.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
27	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning	CoRR	2006	DBLP BibTeX RDF
27	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Analytic Tableau Calculi for KLM Rational Logic R.	JELIA	2006	DBLP DOI BibTeX RDF
27	Stijn Viaene, Bjorn Cumps	CRM Excellence at KLM Royal Dutch Airlines.	Commun. Assoc. Inf. Syst.	2005	DBLP DOI BibTeX RDF
27	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Analytic Tableaux for KLM Preferential and Cumulative Logics.	LPAR	2005	DBLP DOI BibTeX RDF
27	Stijn Viaene, Bjorn Cumps	CRM Excellence at KLM Royal Dutch Airlines.	AMCIS	2005	DBLP BibTeX RDF
27	Ellen Christiaanse, Robert-Jan Zimmerman	Managing electronic channels: the KLM cargo cyberpets case.	J. Inf. Technol.	1999	DBLP DOI BibTeX RDF
27	Ceri Thomas	KLM: Business Excellence System.	Transforming Organisations Through Groupware	1996	DBLP DOI BibTeX RDF
27	Jürgen Dix, David Makinson	The Relationship between KLM and MAK models for Nonmonotonic Inference Operations.	J. Log. Lang. Inf.	1992	DBLP DOI BibTeX RDF
19	Hamed H. Sad, Franck Poirier	Modeling Word Selection in Predictive Text Entry.	HCI (2)	2009	DBLP DOI BibTeX RDF	word selection, modeling, evaluation, User interface, text entry
19	Karine Mordal-Manet, Francoise Balmas, Simon Denier, Stéphane Ducasse, Harald Wertz, Jannik Laval, Fabrice Bellingard, Philippe Vaillergues	The squale model - A practice-based industrial quality model.	ICSM	2009	DBLP DOI BibTeX RDF
19	Paul Holleis, Albrecht Schmidt 0001	MakeIt: Integrate User Interaction Times in the Design Process of Mobile Applications.	Pervasive	2008	DBLP DOI BibTeX RDF
19	François Guimbretière, Morgan Dixon, Ken Hinckley	ExperiScope: an analysis tool for interaction data.	CHI	2007	DBLP DOI BibTeX RDF	ExperiScope, data analysis tool, interaction design, empirical evaluation
19	Joël Migneault, Jean-Marc Robert 0002, Michel C. Desmarais, Sylvain Caron	Comparing voice with touch screen for controlling the instructor's operating station of a flight simulator.	SMC	2007	DBLP DOI BibTeX RDF
19	Niklas Kohl, Stefan E. Karisch	Airline Crew Rostering: Problem Types, Modeling, and Optimization.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	crew rostering, airline applications, crew scheduling
19	Mitchell Wand	A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming.	SAIG	2001	DBLP DOI BibTeX RDF