Search results for "Typing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Chun-Hung Lin, Eric Zhi-Feng Liu	Do Improve Typing Skill But No Significant Difference between Drill-Based and Game-Based Typing Software.	Edutainment	2009	DBLP DOI BibTeX RDF	Typing speed, Drill-based typing software, Game-based typing software, Computer-assisted instruction
5	Jeremy G. Siek, Manish Vachharajani	Gradual typing with unification-based inference.	DLS	2008	DBLP DOI BibTeX RDF	gradual typing, simply typed lambda calculus, type inference, unification, dynamic typing, static typing
5	Akiyo Kano	MECE method for categorising typing errors.	BCS HCI	2008	DBLP DOI BibTeX RDF	categorising error, children's typing, typing error classification, text input, dyslexia, typing errors, classification method
4	Hirotaka Aoki, John Paulin Hansen, Kenji Itoh	Learning gaze typing: what are the obstacles and what progress to expect?	Universal Access in the Information Society	2009	DBLP DOI BibTeX RDF	Gaze typing, Dwell time gaze typing system, Gaze metrics, Learning process
4	Per Ola Kristensson, Shumin Zhai	Relaxing stylus typing precision by geometric pattern matching.	IUI	2005	DBLP DOI BibTeX RDF	spell checker, stylus keyboard, Fitts' law, text input, virtual keyboard, typing errors, typing correction
4	Dominic Duggan	Dynamic Typing for Distributed Programming in Polymorphic Languages.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	parametric polmorphism, dynamic typing, static typing, marshalling
3	Chieko Matsuyama, Toyoshiro Nakashima, Naohiro Ishii	Effect of Touch-Typing Practices in Computer Literacy and Evaluation of Its Continuity.	SNPD	2011	DBLP DOI BibTeX RDF	Touch-typing, Effect of typing practice, Continuity
3	Mario H. Urbina, Anke Huckauf	Alternatives to single character entry and dwell time selection on eye typing.	ETRA	2010	DBLP DOI BibTeX RDF	user interfaces, eye tracking, input devices, longitudinal study, gaze control, eye-typing, selection methods
3	Iman Habib, Niklas Berggren, Erik Rehn, Gustav Josefsson, Andreas Kunz, Morten Fjeld	DGTS: Integrated Typing and Pointing.	INTERACT	2009	DBLP DOI BibTeX RDF	multi pointer, typing, pointing, touchpad, Capacitive sensing
3	Päivi Majaranta, Ulla-Kaija Ahola, Oleg Spakov	Fast gaze typing with an adjustable dwell time.	CHI	2009	DBLP DOI BibTeX RDF	gaze input, gaze typing, text entry, longitudinal study
3	Christopher Pinchak, Davood Rafiei, Dekang Lin	Answer typing for information retrieval.	CIKM	2009	DBLP DOI BibTeX RDF	answer typing, discriminative methods, preference ranking, relevance, query log
3	Changxu Wu, Yili Liu	Queuing Network Modeling of Transcription Typing.	ACM Trans. Comput.-Hum. Interact.	2008	DBLP DOI BibTeX RDF	cognitive modeling, typing, human performance, Queuing network
3	I. Scott MacKenzie, Xuang Zhang	Eye typing using word and letter prediction and a fixation algorithm.	ETRA	2008	DBLP DOI BibTeX RDF	button size, fixation algorithm, letter prediction, eye tracking, word prediction, eye typing
3	Shaun K. Kane, Jacob O. Wobbrock, Mark Harniss, Kurt L. Johnson	TrueKeys: identifying and correcting typing errors for people with motor impairments.	IUI	2008	DBLP DOI BibTeX RDF	minimum string distance, error correction, motor impairments, typing errors, computer access, spell checking
3	Jim Steel, Jean-Marc Jézéquel	On model typing.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	MDA, Model transformation, Type systems, Metamodelling, Typing, MOF
3	Yuh-Chuan Shih, Bi-Fen Tsai	Splint Effect on the Range of Wrist Motion and Typing Performance.	HCI	2007	DBLP DOI BibTeX RDF	Splint, Range of wrist motion, Typing
3	Päivi Majaranta, I. Scott MacKenzie, Anne Aula, Kari-Jouko Räihä	Effects of feedback and dwell time on eye typing speed and accuracy.	Universal Access in the Information Society	2006	DBLP DOI BibTeX RDF	Feedback modalities, Text entry, People with disabilities, Eye typing
3	Jorge Martinez 0001, Eric Richard Zenk	Nuclear Typing of Frames vs Spatial Selectors.	Applied Categorical Structures	2006	DBLP DOI BibTeX RDF	nuclear typing, spatial selector, algebraic frame and space, exactness of typing, frame, patch
3	Kenji Itoh, Hirotaka Aoki, John Paulin Hansen	A comparative usability study of two Japanese gaze typing systems.	ETRA	2006	DBLP DOI BibTeX RDF	Japanese text typing, usability, assistive technology, gaze interaction, alternative communication
3	Falko Kuester, Michelle Chen, Mark E. Phair, Carsten Mehring	Towards keyboard independent touch typing in VR.	VRST	2005	DBLP DOI BibTeX RDF	glove input, keyboard independent touch-typing, wearable devices for augmented reality, interaction techniques
3	Alen Peacock, Xian Ke, Matthew Wilkerson	Typing Patterns: A Key to User Identification.	IEEE Security & Privacy	2004	DBLP DOI BibTeX RDF	Keystroke, Security, Pattern Recognition, Authentication, Authentication, Biometrics, Typing, Intellectual Property, User Authentication, network-level security and protection, Security and Privacy Protection, User Identification
3	John Paulin Hansen, Kristian Tørning, Anders Sewerin Johansen, Kenji Itoh, Hirotaka Aoki	Gaze typing compared with input by head and hand.	ETRA	2004	DBLP DOI BibTeX RDF	eye mouse, head mouse, eye tracking, assistive technology, eye typing, alternative communication, computer input devices
3	Päivi Majaranta, Anne Aula, Kari-Jouko Räihä	Effects of feedback on eye typing with a short dwell time.	ETRA	2004	DBLP DOI BibTeX RDF	feedback, text entry, eye typing, disabled users
3	Päivi Majaranta, I. Scott MacKenzie, Anne Aula, Kari-Jouko Räihä	Auditory and visual feedback during eye typing.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	feedback modalities, text entry, eye typing, disabled users
3	Päivi Majaranta, Kari-Jouko Räihä	Twenty years of eye typing: systems and design issues.	ETRA	2002	DBLP DOI BibTeX RDF	eye tracking, Eye typing, alternative communication
3	Arthur I. Baars, S. Doaitse Swierstra	Typing dynamic typing.	ICFP	2002	DBLP DOI BibTeX RDF	Leibnitz' rule, quantified types, type equality, typed interpreters, Haskell, dynamic typing, coercions, static typing
3	Mikael Goldstein, Robert Book, Gunilla Alsiö, Silvia Tessa	Non-Keyboard QWERTY Touch Typing: A Portable Input Interface for The Mobile User.	CHI	1999	DBLP DOI BibTeX RDF	QWERTY, lexical knowledge, syntactic knowledge, touch-typing, PDA, language model, portability, text input, Wizard-of-Oz, keyboard, mobile user, stylus input
3	H. Becht, John Staples	Soft Typing of General First-Order Languages.	APSEC	1995	DBLP DOI BibTeX RDF	soft typing, many-sorted logics, type theory, type checking, parametric polymorphism
3	Neil Coburn, Grant E. Weddell	Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies.	DOOD	1991	DBLP DOI BibTeX RDF	constraints, typing, functional dependencies, specialization, complex objects, object-oriented data models, equations
2	Aaron Stump, Evan Austin	Resource typing in Guru.	PLPV	2010	DBLP DOI BibTeX RDF	dependently typed programming, resource types
2	Javier San Agustin, Henrik H. T. Skovsgaard, Emilie Møllenbach, Maria Barret, Martin Tall, Dan Witzner Hansen, John Paulin Hansen	Evaluation of a low-cost open-source gaze tracker.	ETRA	2010	DBLP DOI BibTeX RDF	gaze typing, low cost, augmentative and alternative communication, gaze interaction, off-the-shelf components
2	Behrooz Ashtiani, I. Scott MacKenzie	BlinkWrite2: an improved text entry method using eye blinks.	ETRA	2010	DBLP DOI BibTeX RDF	blink detection, blink input, blink typing, hands free text-entry, locked-in syndrome, scanning ambiguous keyboard, single input modality, assistive technologies, eye typing, alternative communication
2	Stefan Holdermans, Jurriaan Hage	Making "stricterness" more relevant.	PEPM	2010	DBLP DOI BibTeX RDF	explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis
2	Yasuko Hayashi, Kensei Jo, Yasuaki Kakehi, Takeshi Naemura	TypeTile: a keyboard system that decorates characters depending on the way of typing.	SIGGRAPH Posters	2009	DBLP DOI BibTeX RDF
2	Han-Chi Hsiao, Fong-Gong Wu, Ronald Hsi, Chih-I Ho, Wen-Zhou Shi, Chien-Hsu Chen	The Evaluation of Operating Posture in Typing the QWERTY Keyboard on PDA.	HCI	2009	DBLP DOI BibTeX RDF	Letters Key Design, PDA Typing Posture
2	Andrés Vignaga, Frédéric Jouault, M. Cecilia Bastarrica, Hugo Bruneliere	Typing in Model Management.	ICMT	2009	DBLP DOI BibTeX RDF
2	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster	Profile-guided static typing for dynamic scripting languages.	OOPSLA	2009	DBLP DOI BibTeX RDF	RIL, profile guided anlaysis, scripting languages, ruby
2	Ken Iwasaki, Takashi Miyaki, Jun Rekimoto	Expressive typing: a new way to sense typing pressure and its applications.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	user interface, non-verbal communication, physiological sensing
2	Kazuhiro Terajima, Takashi Komuro, Masatoshi Ishikawa	Fast finger tracking system for in-air typing interface.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	embedded computer vision., vision-based ui, portable device
2	Allison Druin, Elizabeth Foss, Leshell Hatley, Evan Golub, Mona Leigh Guha, Jerry Alan Fails, Hilary Hutchinson	How children search the internet with keyword interfaces.	IDC	2009	DBLP DOI BibTeX RDF	internet, search, search engine, children, typing, query formulation, search results
2	Akiyo Kano, Janet C. Read	Text input error categorisation: solving character level insertion ambiguities using Zero Time analysis.	BCS HCI	2009	DBLP DOI BibTeX RDF	key log, solving ambiguities, ambiguities, timestamp, insertion, typing errors
2	Javier San Agustin, Henrik H. T. Skovsgaard, John Paulin Hansen, Dan Witzner Hansen	Low-cost gaze interaction: ready to deliver the promises.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	low-cost gaze tracking, performance evaluation, universal access, gaze interaction, eye typing
2	Vincent Balat, Jérôme Vouillon, Boris Yakobowski	Experience report: ocsigen, a web programming framework.	ICFP	2009	DBLP DOI BibTeX RDF	ocsigen, networking, web, programming, implementation, services, ML, typing, XHTML, objective CAML
2	Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman	A theory of typed coercions and its applications.	ICFP	2009	DBLP DOI BibTeX RDF	coercion insertion, gradual typing, nonambiguity, type-directed translation, provenance
2	Serge Abiteboul, Georg Gottlob, Marco Manna	Distributed XML design.	PODS	2009	DBLP DOI BibTeX RDF	distributed XML, xml typing, dtd, xml-schema
2	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks	Static type inference for Ruby.	SAC	2009	DBLP DOI BibTeX RDF	contracts, type inference, Ruby, dynamic typing
2	Hyunjin Ji, Taeyong Kim	CLURD: A New Character-Inputting System Using One 5-Way Key Module.	HCI	2009	DBLP DOI BibTeX RDF	Character Input, 5-way Key Module, Mobile Device, Wearable Computer, Typing, Keyboard
2	Akiyo Kano, Janet C. Read	Causes of Simultaneous Keystrokes in Children and Adults.	INTERACT	2009	DBLP DOI BibTeX RDF	Typing error analysis, Simultaneous keystrokes, Zero Time keystrokes, Adjacent letter Errors, Transposition Error
2	Naouel Moha, Vincent Mahé, Olivier Barais, Jean-Marc Jézéquel	Generic Model Refactorings.	MoDELS	2009	DBLP DOI BibTeX RDF	Model Typing, Adaptation, Genericity, Refactoring, Aspect Weaving
2	Paul Edward McKechnie, Nathan A. Lindop, Wim Vanderbauwhede	A type system for static typing of a domain-specific language.	FPGA	2008	DBLP DOI BibTeX RDF	static type checking, FPGA, type system
2	James Clawson, Kent Lyons, Alex Rudnick, Robert A. Iannucci, Thad Starner	Automatic whiteout++: correcting mini-QWERTY typing errors using keypress timing.	CHI	2008	DBLP DOI BibTeX RDF	keyboard input, mini-qwerty, mobile text input, mobile phones, error correction, mobile text entry
2	Dan Morris, A. J. Bernheim Brush, Brian Meyers	SuperBreak: using interactivity to enhance ergonomic typing breaks.	CHI	2008	DBLP DOI BibTeX RDF	interruptions, ergonomics, physical interfaces, rsi
2	Dan Witzner Hansen, Henrik H. T. Skovsgaard, John Paulin Hansen, Emilie Møllenbach	Noise tolerant selection by gaze-controlled pan and zoom in 3D.	ETRA	2008	DBLP DOI BibTeX RDF	mobile displays, eye tracking, assistive technology, zooming, 3D interfaces, gaze interaction, eye typing, alternative communication, computer input devices
2	Anke Huckauf, Mario H. Urbina	Gazing with pEYEs: towards a universal input for various applications.	ETRA	2008	DBLP DOI BibTeX RDF	user interfaces, input devices, evaluation methodology, gaze control, eye-typing
2	Marco Porta, Matteo Turina	Eye-S: a full-screen input modality for pure eye-based communication.	ETRA	2008	DBLP DOI BibTeX RDF	eye sequence, eye writing, assistive technology, gaze interaction, eye typing, alternative communication, eye gesture
2	Jacob O. Wobbrock, James Rubinstein, Michael W. Sawyer, Andrew T. Duchowski	Longitudinal evaluation of discrete consecutive gaze gestures for text entry.	ETRA	2008	DBLP DOI BibTeX RDF	gestures, text entry, text input, eye-typing
2	Marco Comini, Ferruccio Damiani, Samuel Vrech	On Polymorphic Recursion, Type Systems, and Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF	Type Inference Algorithm, Principal Typing
2	Levent V. Orman	Browsing databases with constraint hierarchies.	Electronic Commerce Research	2008	DBLP DOI BibTeX RDF	Database browsing, Market search, Electronic markets, Data typing, Database application, Constraint hierarchies, Incremental search
2	Nicoletta De Francesco, Luca Martini	Instruction-level security typing by abstract interpretation.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Abstract interpretation, Information flow, Language based security
2	Phaedra Agius, Barry Kreiswirth, Steve Naidich, Kristin Bennett	Typing Staphylococcus aureus Using the spa Gene and Novel Distance Measures.	IEEE/ACM Trans. Comput. Biology Bioinform.	2007	DBLP DOI BibTeX RDF	sequence algorithms, staphylococcus aureus, moleuclar epidemiology, clustering, genotyping
2	Dimitris Mostrous, Nobuko Yoshida	Two Session Typing Systems for Higher-Order Mobile Processes.	TLCA	2007	DBLP DOI BibTeX RDF
2	Szabolcs Rozsnyai, Josef Schiefer, Alexander Schatten	Concepts and models for typing events for event-based systems.	DEBS	2007	DBLP DOI BibTeX RDF	service oriented architecture, complex event processing, event model, event stream processing
2	Michele Bugliesi, Damiano Macedonio, Sabina Rossi	Static vs Dynamic Typing for Access Control in Pi-Calculus.	ASIAN	2007	DBLP DOI BibTeX RDF
2	Peter Hui, James Riely	Typing for a minimal aspect language: preliminary report.	FOAL	2007	DBLP DOI BibTeX RDF
2	Michal Choras, Piotr Mroczkowski	Recognizing Individual Typing Patterns.	IbPRIA	2007	DBLP DOI BibTeX RDF
2	Anke Huckauf, Mario H. Urbina	Gazing with pEYE: new concepts in eye typing.	APGV	2007	DBLP DOI BibTeX RDF	user interfaces, input devices, evaluation methodology, gaze control
2	Wataru Tsukahara, Zhang Zisheng, Shingo Akamatsu, Fumihiko Anma, Toshio Okamoto	Reach: an Awareness Rich CSCL Text Chat Tool with Real-time Key Typing Display.	ICALT	2007	DBLP DOI BibTeX RDF
2	Wahyudi Martono, Hasimah Ali, Momoh-Jimoh E. Salami	Keystroke Pressure-Based Typing Biometrics Authentication System Using Support Vector Machines.	ICCSA	2007	DBLP DOI BibTeX RDF	keystroke, maximum pressure, time latency and support vector machine, security, Biometric
2	Jeremy G. Siek, Walid Taha	Gradual Typing for Objects.	ECOOP	2007	DBLP DOI BibTeX RDF
2	Akiyo Kano, Janet C. Read, Alan J. Dix, I. Scott MacKenzie	ExpECT: an expanded error categorisation method for text input.	BCS HCI	2007	DBLP DOI BibTeX RDF	error categorization, children, error analysis, text input, keyboards, typing error
2	Jurriaan Hage, Stefan Holdermans, Arie Middelkoop	A generic usage analysis with subeffect qualifiers.	ICFP	2007	DBLP DOI BibTeX RDF	uniqueness typing, type and effect systems, qualified types, sharing analysis
2	Viraj Kumar, P. Madhusudan, Mahesh Viswanathan	Visibly pushdown automata for streaming XML.	WWW	2007	DBLP DOI BibTeX RDF	XML, query, typing, schema, streaming algorithms, pushdown automata
2	Kris Venstermans, Lieven Eeckhout, Koen De Bosschere	Java object header elimination for reduced memory consumption in 64-bit virtual machines.	TACO	2007	DBLP DOI BibTeX RDF	64-bit implementation, Java object model, implicit typing, typed virtual addressing, Virtual machine
2	Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo	Tree Components Programming: An Application to XML.	ICTAC	2007	DBLP DOI BibTeX RDF	web programming language, tree components, XML, static typing
2	Dan Witzner Hansen, John Paulin Hansen	Eye typing with common cameras.	ETRA	2006	DBLP DOI BibTeX RDF
2	Wlodzimierz Drabent	Towards More Precise Typing Rules for.	PPSWR	2006	DBLP DOI BibTeX RDF
2	Min Zhang, Guoqiang Li, Yuxi Fu	Secrecy of Signals by Typing in Signal Transduction.	ICNC	2006	DBLP DOI BibTeX RDF
2	Avik Chaudhuri, Martín Abadi	Secrecy by Typing and File-Access Control.	CSFW	2006	DBLP DOI BibTeX RDF
2	Philip Wadler	Faith, evolution, and programming languages: from Haskell to Java to links.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	dynamic and static typing, Java, generics, Haskell, links, type classes, parametric polymorphism
2	Giovanni Lagorio, Elena Zucca	Introducing safe unknown types in Java-like languages.	SAC	2006	DBLP DOI BibTeX RDF	java-like languages, type-systems, static typing
2	Andrew D. Gordon, Riccardo Pucella	Validating a web service security abstraction by typing.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Web services, Authentication, Type systems, Remote procedure call
2	Georg Gottlob, Christoph Koch, Reinhard Pichler, Luc Segoufin	The complexity of XPath query evaluation and XML typing.	J. ACM	2005	DBLP DOI BibTeX RDF	LOGCFL, XML, Complexity, XPath, DTD
2	Weide Chang	Improving hidden Markov models with a similarity histogram for typing pattern biometrics.	IRI	2005	DBLP DOI BibTeX RDF
2	Patrick Baillot, Kazushige Terui	A Feasible Algorithm for Typing in Elementary Affine Logic.	TLCA	2005	DBLP DOI BibTeX RDF
2	Jim Steel, Jean-Marc Jézéquel	Model Typing for Improving Reuse in Model-Driven Engineering.	MoDELS	2005	DBLP DOI BibTeX RDF
2	Gérard Boudol	On Typing Information Flow.	ICTAC	2005	DBLP DOI BibTeX RDF
2	Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk	Descriptive Typing Rules for Xcerpt.	PPSWR	2005	DBLP DOI BibTeX RDF
2	Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He	Typing Aberrance in Signal Transduction.	ICNC	2005	DBLP DOI BibTeX RDF
2	Jill Coffin	Leveraging Typing Phenomena to Design One-Handed Wearable Keyboards.	ISWC	2005	DBLP DOI BibTeX RDF
2	Wim Martens, Frank Neven, Thomas Schwentick	Which XML Schemas Admit 1-Pass Preorder Typing?	ICDT	2005	DBLP DOI BibTeX RDF
2	Edward Clarkson, James Clawson, Kent Lyons, Thad Starner	An empirical study of typing rates on mini-QWERTY keyboards.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	mini-QWERTY, mobile input, thumb keyboard, text entry, keypad input
2	Rocío Santillán Rodríguez, Carolina Yolanda Castañeda Roldán, Javier Garcés Eisele, Ma. del Pilar Gómez Gil, Mauricio Javier Osorio Galindo	Algorithms for the Typing of Related DNA Sequences.	CONIELECOMP	2005	DBLP DOI BibTeX RDF
2	Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske	Typing of Graph Transformation Units.	ICGT	2004	DBLP DOI BibTeX RDF
2	Martin Elsman, Ken Friis Larsen	Typing XHTML Web Applications in ML.	PADL	2004	DBLP DOI BibTeX RDF
2	Weihong Qi, David W. Lacher, Alyssa C. Bumbaugh, Katie E. Hyma, Lindsey M. Ouellette, Teresa M. Large, Cheryl L. Tarr, Thomas S. Whittam	EcMLST: An Online Database for Multi Locus Sequence Typing of Pathogenic Escherichia coli.	CSB	2004	DBLP DOI BibTeX RDF
2	Christian Beck, Gottfried Seisenbacher, Georg Edelmayer, Wolfgang L. Zagler	First User Test Results with the Predictive Typing System FASTY.	ICCHP	2004	DBLP DOI BibTeX RDF
2	Azweeda Dahalan, Momoh-Jimoh E. Salami, Weng Kin Lai, Ahmad Faris Ismail	Intelligent Pressure-Based Typing Biometrics System.	KES	2004	DBLP DOI BibTeX RDF
2	Shereen Yong, Weng-Kin Lai, George Coghill	Weightless Neural Networks for Typing Biometrics Authentication.	KES	2004	DBLP DOI BibTeX RDF
2	Shuji Senda, Kyosuke Nishiyama, Toshiyuki Asahi, Keiji Yamada	Camera-Typing Interface for Ubiquitous Information Services.	PerCom	2004	DBLP DOI BibTeX RDF
2	Lívia C. F. Araújo, Luiz H. R. Sucupira, Miguel Gustavo Lizárraga, Lee Luan Ling, João Baptista T. Yabu-uti	User Authentication through Typing Biometrics Features.	ICBA	2004	DBLP DOI BibTeX RDF