Search results for "typing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Wlodzimierz Drabent	Towards More Precise Typing Rules for.	PPSWR	2006	DBLP DOI BibTeX RDF
28	Min Zhang, Guoqiang Li 0001, Yuxi Fu	Secrecy of Signals by Typing in Signal Transduction.	ICNC (2)	2006	DBLP DOI BibTeX RDF
28	Georg Gottlob, Christoph Koch 0001, 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
28	Gérard Boudol	On Typing Information Flow.	ICTAC	2005	DBLP DOI BibTeX RDF
28	Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk	Descriptive Typing Rules for Xcerpt.	PPSWR	2005	DBLP DOI BibTeX RDF
28	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
28	Min Zhang, Guoqiang Li 0001, Yuxi Fu, Zhizhou Zhang 0003, Lin He 0007	Typing Aberrance in Signal Transduction.	ICNC (3)	2005	DBLP DOI BibTeX RDF
28	Wim Martens, Frank Neven, Thomas Schwentick	Which XML Schemas Admit 1-Pass Preorder Typing?	ICDT	2005	DBLP DOI BibTeX RDF
28	Jill Coffin	Leveraging Typing Phenomena to Design One-Handed Wearable Keyboards.	ISWC	2005	DBLP DOI BibTeX RDF
28	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
28	Dan Witzner Hansen, Arthur E. C. Pece	Eye Typing off the Shelf.	CVPR (2)	2004	DBLP DOI BibTeX RDF	Expectation Maximisation, gaze calibration, Components-off-the-shelf, lower bound, Eye tracking, Particle filter
28	Carsten Mehring, Falko Kuester, Kunal Deep Singh, Michelle Chen	KITTY: Keyboard Independent Touch Typing in VR.	VR	2004	DBLP DOI BibTeX RDF
28	Sven-Olof Nyström	A soft-typing system for Erlang.	Erlang Workshop	2003	DBLP DOI BibTeX RDF
28	Michal Konecný	Typing with Conditions and Guarantees for Functional In-place Update.	TYPES	2002	DBLP DOI BibTeX RDF
28	Dan Witzner Hansen, John Paulin Hansen, Mads Nielsen, Anders Sewerin Johansen, Mikkel B. Stegmann	Eye Typing using Markov and Active Appearance Models.	WACV	2002	DBLP DOI BibTeX RDF
28	Bruce Howard, Susie Howard	Lightglove: Wrist-Worn Virtual Typing and Pointing.	ISWC	2001	DBLP DOI BibTeX RDF
28	Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy	Implicit Typing à la ML for the Join-Calculus.	CONCUR	1997	DBLP DOI BibTeX RDF
28	Maria-Virginia Aponte	Extending Record Typing to Type Parametric Modules with Sharing.	POPL	1993	DBLP DOI BibTeX RDF	Standard ML
28	Xavier Leroy	Unboxed Objects and Polymorphic Typing.	POPL	1992	DBLP DOI BibTeX RDF	ML
28	Kyung-Goo Doh, David A. Schmidt	Extraction of Strong Typing Laws from Action Semantics Definitions.	ESOP	1992	DBLP DOI BibTeX RDF
28	Paris C. Kanellakis, John C. Mitchell	Polymorphic Unification and ML Typing.	POPL	1989	DBLP DOI BibTeX RDF	ML
26	Yunlei Ren, Yan Zhang, Zhitao Liu, Ning Xie 0003	Eye-Hand Typing: Eye Gaze Assisted Finger Typing via Bayesian Processes in AR.	IEEE Trans. Vis. Comput. Graph.	2024	DBLP DOI BibTeX RDF
26	Mobasshira Zaman, Jaejin Hwang	Effects of Virtual Hand Representation on the Typing Performance, Upper Extremity Angle, and Neck Muscle Activity during Virtual Reality Typing.	CoRR	2024	DBLP DOI BibTeX RDF
26	Florian Lehmann, Itto Kornecki, Daniel Buschek, Anna Maria Feit	Typing Behavior is About More than Speed: Users' Strategies for Choosing Word Suggestions Despite Slower Typing Rates.	Proc. ACM Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
26	Yulia Gizatdinova, Oleg Spakov, Outi Tuisku, Matthew A. Turk, Veikko Surakka	Vision-Based Interfaces for Character-Based Text Entry: Comparison of Errors and Error Correction Properties of Eye Typing and Head Typing.	Adv. Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
26	Robert Chen, Roger Levy, Tiwalayo Eisape	On Factors Influencing Typing Time: Insights from a Viral Online Typing Game.	CogSci	2021	DBLP BibTeX RDF
26	Wenxin Feng 0001, Jiangnan Zou, Andrew T. N. Kurauchi, Carlos H. Morimoto, Margrit Betke	HGaze Typing: Head-Gesture Assisted Gaze Typing.	ETRA Full Papers	2021	DBLP DOI BibTeX RDF
26	Tatsuhito Hasegawa, Tatsuya Hatakenaka	Touch-Typing Detection Using Eyewear: Toward Realizing a New Interaction for Typing Applications.	Sensors	2019	DBLP DOI BibTeX RDF
26	Tsubasa Yumura, Satoshi Nakamura 0002	Augmented typing: augmentation of keyboard typing experience by adding visual and sound effects.	AsianCHI@CHI	2019	DBLP DOI BibTeX RDF
26	Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca	Gradual Typing Using Union Typing With Records.	LANMR (Selected Papers)	2019	DBLP DOI BibTeX RDF
26	Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca	Gradual typing using union typing with records.	LANMR	2019	DBLP BibTeX RDF
26	Yu-Hao Lin, Suwen Zhu, Yu-Jung Ko, Wenzhe Cui, Xiaojun Bi 0001	Why Is Gesture Typing Promising for Older Adults?: Comparing Gesture and Tap Typing Behavior of Older with Young Adults.	ASSETS	2018	DBLP DOI BibTeX RDF
26	Masae Okada, Masakazu Higuchi, Takashi Komuro, Kayo Ogawa	Recognition of typing motions on AR typing interface.	MUM	2017	DBLP DOI BibTeX RDF
26	Zhaoyuan Ma, Darren Edge, Leah Findlater, Hong Z. Tan	Haptic keyclick feedback improves typing speed and reduces typing errors on a flat keyboard.	World Haptics	2015	DBLP DOI BibTeX RDF
26	Moez A. AbdelGawad	An Overview of Nominal-Typing versus Structural-Typing in Object-Oriented Programming.	CoRR	2013	DBLP BibTeX RDF
26	Hadeel Al-Negheimish, Lama Al-Andas, Latifah Al-Mofeez, Aljawharah Al-Abdullatif, Nuha Al-Khalifa, Areej Al-Wabil	Brainwave Typing: Comparative Study of P300 and Motor Imagery for Typing Using Dry-Electrode EEG Devices.	HCI (28)	2013	DBLP DOI BibTeX RDF
26	Jeong Ho Kim 0003, Lovenoor S. Aulck, Ornwipa Thamsuwan, Michael C. Bartha, Christy A. Harper, Peter W. Johnson	The Effects of Touch Screen Virtual Keyboard Key Sizes on Typing Performance, Typing Biomechanics and Muscle Activity.	HCI (23)	2013	DBLP DOI BibTeX RDF
26	Tayfur Coskun, Christian A. Wiesner, Eva Artinger, Amal Benzina, Patrick Maier 0002, Manuel J. Huber, Claudia Grill, Philip Schmitt, Gudrun Klinker	Gestyboard 2.0: A Gesture-Based Text Entry Concept for High Performance Ten-Finger Touch-Typing and Blind Typing on Touchscreens.	SouthCHI	2013	DBLP DOI BibTeX RDF
26	Leah Findlater, Jacob O. Wobbrock, Daniel Wigdor	Typing on flat glass: examining ten-finger expert typing patterns on touch surfaces.	CHI	2011	DBLP DOI BibTeX RDF
26	Prima Chairunnanda, Nam Pham, Urs Hengartner	Privacy: Gone with the Typing! Identifying Web Users by Their Typing Patterns.	SocialCom/PASSAT	2011	DBLP DOI BibTeX RDF
26	Wolfgang Helmberg, Raymond Dunivin, Michael Feolo	The sequencing-based typing tool of dbMHC: typing highly polymorphic gene sequences.	Nucleic Acids Res.	2004	DBLP DOI BibTeX RDF
26	Andrew Sears, Doreen Revis, Janet Swatski, Rob Crittenden, Ben Shneiderman	Investigating touchscreen typing: the effect of keyboard size on typing speed.	Behav. Inf. Technol.	1993	DBLP DOI BibTeX RDF
23	Akiyo Kano, Janet C. Read	Text input error categorisation: solving character level insertion ambiguities using Zero Time analysis.	BCS HCI	2009	DBLP BibTeX RDF	key log, solving ambiguities, ambiguities, timestamp, insertion, typing errors
23	Hyunjin Ji, Taeyong Kim	CLURD: A New Character-Inputting System Using One 5-Way Key Module.	HCI (3)	2009	DBLP DOI BibTeX RDF	Character Input, 5-way Key Module, Mobile Device, Wearable Computer, Typing, Keyboard
23	Allison Druin, Elizabeth Foss, Leshell Hatley, Evan Golub, Mona Leigh Guha, Jerry Alan Fails, Hilary Browne 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
23	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
23	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
23	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
23	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
23	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
23	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
23	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
23	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
23	Andreas Rossberg	Generativity and dynamic opacity for abstract types.	PPDP	2003	DBLP DOI BibTeX RDF	generativity, encapsulation, opacity, dynamic typing, abstract types, existential types
23	Frédéric Peschanski, Jean-Pierre Briot, Akinori Yonezawa	Fine-Grained Dynamic Adaptation of Distributed Components.	Middleware	2003	DBLP DOI BibTeX RDF	Fine-grain adaptations, Event-based Asynchronous Communications, Strong typing, Dynamic Adaptability, Component-based Middleware
23	Shari Trewin	Extending keyboard adaptability: An investigation.	Univers. Access Inf. Soc.	2002	DBLP DOI BibTeX RDF	Accessibility, Keyboard, Motor disabilities, Typing errors
23	Chris Lankford	Effective eye-gaze input into Windows.	ETRA	2000	DBLP DOI BibTeX RDF	mouse clicking, typing, disabled, windows, eye-gaze
23	François Bertault, Peter Eades	Graph Library Design.	SCCC	2000	DBLP DOI BibTeX RDF	graph library design, dynamic graph typing, safe polymorphic algorithms, object-oriented programming, graphs, graph algorithms, object oriented design, extensibility, diagrams, diagrams, software libraries, software performance
23	Pascale Louvet, Olivier Ridoux	Parametric Polymorphism for Typed Prolog and lambda-Prolog.	PLILP	1996	DBLP DOI BibTeX RDF	second-order -Calculus, Logic programming, polymorphism, typing
23	Nicholas Beaumont	Is APL2 a Good Programming Language?	APL	1995	DBLP DOI BibTeX RDF	APL, data typing, control structure, systems analysis and design
23	Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron	Language Design For Program Manipulation.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software engineering, Ada, object-oriented programming, Pascal, typing, language design, high level languages, unfolding, Modula-2, naming, abstract syntax, scoping, object-oriented programming languages, static semantics, program manipulation, program manipulations, procedural languages
23	William R. Cook	Object-Oriented Programming Versus Abstract Data Types.	REX Workshop	1990	DBLP DOI BibTeX RDF	higher-order procedures, object-oriented programming, typing, extensibility, abstract data type, incremental programming
23	DeLesley S. Hutchins	Pure subtype systems.	POPL	2010	DBLP DOI BibTeX RDF	abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types
23	Yang Chen, Jing Yang 0001, Scott Barlowe, Dong Hyun Jeong	Touch2Annotate: generating better annotations with less human effort on multi-touch interfaces.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	information visualization, annotation, taxonomy, multi-touch interface
23	Brian Campbell 0001	Amortised Memory Analysis Using the Depth of Data Structures.	ESOP	2009	DBLP DOI BibTeX RDF
23	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Closing the stage: from staged code to typed closures.	PEPM	2008	DBLP DOI BibTeX RDF	multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism
23	Cong-Cong Xing	Enhancing program verifications by restricting object types.	SAC	2006	DBLP DOI BibTeX RDF	object types, OOP, program verification
23	Fernando Berzal Galiano, Juan Carlos Cubero Talavera, Nicolás Marín, María Amparo Vila Miranda	Data Integration Using Lazy Types.	ICHIT	2006	DBLP DOI BibTeX RDF
23	Andrew Begel, Susan L. Graham	An Assessment of a Speech-Based Programming Environment.	VL/HCC	2006	DBLP DOI BibTeX RDF
23	Saso Greiner, Damijan Rebernak, Janez Brest, Viljem Zumer	Z0 - a tiny experimental language.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	Java, object-orientation, language design
23	Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick	Expressiveness of XSDs: from practice to theory, there and back again.	WWW	2005	DBLP DOI BibTeX RDF	formal model, XML schema, expressiveness
23	Daniele Gunetti, Claudia Picardi, Giancarlo Ruffo	Keystroke Analysis of Different Languages: A Case Study.	IDA	2005	DBLP DOI BibTeX RDF
23	Igor Schadle	Sibyl: AAC System Using NLP Techniques.	ICCHP	2004	DBLP DOI BibTeX RDF
23	J. B. Wells, Boris Yakobowski	Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.	LOPSTR	2004	DBLP DOI BibTeX RDF
23	David Aspinall 0001, Adriana B. Compagnoni	Heap-Bounded Assembly Language.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	proof-carrying code, typed assembly language
23	Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni	A Syntactic Approach to Foundational Proof-Carrying Code.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	foundational proof-carrying code, syntactic soundness proof, typed assembly language
23	Michal Konecný	Functional In-Place Update with Layered Datatype Sharing.	TLCA	2003	DBLP DOI BibTeX RDF
23	Walid Taha, Michael Florentin Nielsen	Environment classifiers.	POPL	2003	DBLP DOI BibTeX RDF	type systems, modal logic, type safety, linear temporal logic, multi-stage programming
23	Ferruccio Damiani	Rank 2 intersection types for modules.	PPDP	2003	DBLP DOI BibTeX RDF	type inference, separate compilation, principal typings
23	Francesco Bergadano, Daniele Gunetti, Claudia Picardi	User authentication through keystroke dynamics.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	Biometric techniques, keystroke analysis
23	Johannes Matiasek, Marco Baroni, Harald Trost	FASTY - A Multi-lingual Approach to Text Prediction.	ICCHP	2002	DBLP DOI BibTeX RDF
23	Martin Hofmann 0001	A Type System for Bounded Space and Functional In-Place Update--Extended Abstract.	ESOP	2000	DBLP DOI BibTeX RDF
23	Zhenyu Qian	A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
23	Jan Zwanenburg	Pure Type Systems with Subtyping.	TLCA	1999	DBLP DOI BibTeX RDF
23	Andrew K. Wright, Robert Cartwright	A Practical Soft Type System for Scheme.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
23	Takayuki Dan Kimura, Wayne Citrin, Dan Halbert, Carl Hewitt, Norman K. Meyrowitz, Ben Shneiderman	Potentials and Limitations of Pen-Based Computers.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
23	Pierre-Louis Curien, Giorgio Ghelli	Coherence of Subsumption.	CAAP	1990	DBLP DOI BibTeX RDF
23	Fritz Henglein	Type Inference and Semi-Unification.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
23	Lalita Jategaonkar, John C. Mitchell	ML with Extended Pattern Matching and Subtypes.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF	ML
23	Daniel Leivant	Polymorphic Type Inference.	POPL	1983	DBLP DOI BibTeX RDF
21	Aaron Stump, Evan Austin	Resource typing in Guru.	PLPV	2010	DBLP DOI BibTeX RDF	dependently typed programming, resource types
21	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
21	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
21	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
21	Dan Morris 0001, 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
21	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
21	Peter Hui, James Riely	Typing for a minimal aspect language: preliminary report.	FOAL	2007	DBLP DOI BibTeX RDF
21	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
21	Avik Chaudhuri, Martín Abadi	Secrecy by Typing and File-Access Control.	CSFW	2006	DBLP DOI BibTeX RDF
21	Andrew D. Gordon 0001, Riccardo Pucella	Validating a web service security abstraction by typing.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Web services, Authentication, Type systems, Remote procedure call