|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1636 occurrences of 900 keywords
|
|
|
Results
Found 2449 publication records. Showing 2449 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
202 | Chun-Hung Lin, Eric Zhi-Feng Liu |
Do Improve Typing Skill But No Significant Difference between Drill-Based and Game-Based Typing Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Learning by Playing. Game-based Education System Design and Development, 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedings, pp. 149, 2009, Springer, 978-3-642-03363-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Typing speed, Drill-based typing software, Game-based typing software, Computer-assisted instruction |
97 | Dominic Duggan |
Dynamic Typing for Distributed Programming in Polymorphic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(1), pp. 11-45, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
parametric polmorphism, dynamic typing, static typing, marshalling |
90 | Akiyo Kano |
MECE method for categorising typing errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI (2) ![In: Proceedings of the 22nd British HCI Group Annual Conference on HCI 2008: People and Computers XXII: Culture, Creativity, Interaction - Volume 2, BCS HCI 2008, Liverpool, United Kingdom, 1-5 September 2008, pp. 249-250, 2008, BCS, 978-1-906124-06-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
categorising error, children's typing, typing error classification, text input, dyslexia, typing errors, classification method |
89 | John Paulin Hansen, Kristian Tørning, Anders Sewerin Johansen, Kenji Itoh, Hirotaka Aoki |
Gaze typing compared with input by head and hand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2004, San Antonio, Texas, USA, March 22-24, 2004, pp. 131-138, 2004, ACM, 1-58113-825-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
eye mouse, head mouse, eye tracking, assistive technology, eye typing, alternative communication, computer input devices |
82 | Jeremy G. Siek, Manish Vachharajani |
Gradual typing with unification-based inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 2008 Symposium on Dynamic Languages, DLS 2008, July 8, 2008, Paphos, Cyprus, pp. 7, 2008, ACM, 978-1-60558-270-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
gradual typing, simply typed lambda calculus, type inference, unification, dynamic typing, static typing |
82 | Vasco Thudichum Vasconcelos, Kohei Honda 0001 |
Principal Typing Schemes in a Polyadic pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 524-538, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
82 | Satish R. Thatte |
Quasi-Static Typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990, pp. 367-381, 1990, ACM Press, 0-89791-343-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
76 | Serge Abiteboul, Georg Gottlob, Marco Manna |
Distributed XML design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA, pp. 247-258, 2009, ACM, 978-1-60558-553-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed XML, xml typing, dtd, xml-schema |
75 | Hirotaka Aoki, John Paulin Hansen, Kenji Itoh |
Learning gaze typing: what are the obstacles and what progress to expect? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 8(4), pp. 297-310, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Gaze typing, Dwell time gaze typing system, Gaze metrics, Learning process |
74 | Changxu Wu, Yili Liu |
Queuing Network Modeling of Transcription Typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 15(1), pp. 6:1-6:45, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cognitive modeling, typing, human performance, Queuing network |
74 | H. Becht, John Staples |
Soft Typing of General First-Order Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 480-488, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
soft typing, many-sorted logics, type theory, type checking, parametric polymorphism |
72 | Ken Iwasaki, Takashi Miyaki, Jun Rekimoto |
Expressive typing: a new way to sense typing pressure and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 4369-4374, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
user interface, non-verbal communication, physiological sensing |
67 | Shaun K. Kane, Jacob O. Wobbrock, Mark Harniss, Kurt L. Johnson |
TrueKeys: identifying and correcting typing errors for people with motor impairments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 13th International Conference on Intelligent User Interfaces, IUI 2008, Gran Canaria, Canary Islands, Spain, January 13-16, 2008, pp. 349-352, 2008, ACM, 978-1-59593-987-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
minimum string distance, error correction, motor impairments, typing errors, computer access, spell checking |
67 | Päivi Majaranta, I. Scott MacKenzie, Anne Aula, Kari-Jouko Räihä |
Effects of feedback and dwell time on eye typing speed and accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 5(2), pp. 199-208, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Feedback modalities, Text entry, People with disabilities, Eye typing |
65 | Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn |
09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Typing, Analysis and Verification of Heap-Manipulating Programs ![In: Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
65 | Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn |
09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Typing, Analysis and Verification of Heap-Manipulating Programs ![In: Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
61 | Akiyo Kano, Janet C. Read, Alan J. Dix, I. Scott MacKenzie |
ExpECT: an expanded error categorisation method for text input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI (1) ![In: Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it - Volume 1, BCS HCI 2007, University of Lancaster, United Kingdom, 3-7 September 2007, pp. 147-156, 2007, BCS, 978-1-902505-94-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
error categorization, children, error analysis, text input, keyboards, typing error |
59 | Per Ola Kristensson, Shumin Zhai |
Relaxing stylus typing precision by geometric pattern matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 10th International Conference on Intelligent User Interfaces, IUI 2005, San Diego, California, USA, January 10-13, 2005, pp. 151-158, 2005, ACM, 1-58113-894-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
spell checker, stylus keyboard, Fitts' law, text input, virtual keyboard, typing errors, typing correction |
59 | Yuh-Chuan Shih, Bi-Fen Tsai |
Splint Effect on the Range of Wrist Motion and Typing Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (17) ![In: Ergonomics and Health Aspects of Work with Computers, International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 144-150, 2007, Springer, 978-3-540-73332-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Splint, Range of wrist motion, Typing |
59 | Weide Chang |
Improving hidden Markov models with a similarity histogram for typing pattern biometrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA, pp. 487-493, 2005, IEEE Systems, Man, and Cybernetics Society, 0-7803-9093-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Arthur I. Baars, S. Doaitse Swierstra |
Typing dynamic typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 157-166, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Leibnitz' rule, quantified types, type equality, typed interpreters, Haskell, dynamic typing, coercions, static typing |
53 | James Clawson, Kent Lyons, Thad Starner, Edward Clarkson |
The Impacts of Limited Visual Feedback on Mobile Text Entry for the Twiddler and Mini-QWERTY Keyboards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: Ninth IEEE International Symposium on Wearable Computers (ISWC 2005), 18-21 October 2005, Osaka, Japan, pp. 170-177, 2005, IEEE Computer Society, 0-7695-2419-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Peter W. O'Hearn, Arnd Poetzsch-Heffter, Mooly Sagiv (eds.) |
Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Typing, Analysis and Verification of Heap-Manipulating Programs ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
52 | David G. Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen |
Minimal Ownership for Active Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Typing, Analysis and Verification of Heap-Manipulating Programs ![In: Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
51 | Christopher Pinchak, Davood Rafiei, Dekang Lin |
Answer typing for information retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 1955-1958, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
answer typing, discriminative methods, preference ranking, relevance, query log |
51 | Jim Steel, Jean-Marc Jézéquel |
On model typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 6(4), pp. 401-413, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
MDA, Model transformation, Type systems, Metamodelling, Typing, MOF |
51 | Kenji Itoh, Hirotaka Aoki, John Paulin Hansen |
A comparative usability study of two Japanese gaze typing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2006, San Diego, California, USA, March 27-29, 2006, pp. 59-66, 2006, ACM, 1-59593-305-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Japanese text typing, usability, assistive technology, gaze interaction, alternative communication |
51 | Falko Kuester, Michelle Chen, Mark E. Phair, Carsten Mehring |
Towards keyboard independent touch typing in VR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2005, Monterey, CA, USA, November 7-9, 2005, pp. 86-95, 2005, ACM, 1-59593-098-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
glove input, keyboard independent touch-typing, wearable devices for augmented reality, interaction techniques |
51 | Päivi Majaranta, Anne Aula, Kari-Jouko Räihä |
Effects of feedback on eye typing with a short dwell time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2004, San Antonio, Texas, USA, March 22-24, 2004, pp. 139-146, 2004, ACM, 1-58113-825-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
feedback, text entry, eye typing, disabled users |
51 | Neil Coburn, Grant E. Weddell |
Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings, pp. 312-331, 1991, Springer, 3-540-55015-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
constraints, typing, functional dependencies, specialization, complex objects, object-oriented data models, equations |
51 | Dan Witzner Hansen, John Paulin Hansen |
Eye typing with common cameras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2006, San Diego, California, USA, March 27-29, 2006, pp. 55, 2006, ACM, 1-59593-305-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Kent Lyons, Thad Starner, Daniel Plaisted, James Fusia, Amanda Lyons, Aaron Drew, E. W. Looney |
Twiddler typing: one-handed chording text entry for mobile phones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 671-678, 2004, ACM, 1-58113-702-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
mobile phones, text entry, chording, keypad input, multi-tap |
46 | Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001 |
Visibly pushdown automata for streaming XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, pp. 1053-1062, 2007, ACM, 978-1-59593-654-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML, query, typing, schema, streaming algorithms, pushdown automata |
46 | Wim Martens, Matthias Niewerth, Thomas Schwentick |
Schema design for XML repositories: complexity and tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, June 6-11, 2010, Indianapolis, Indiana, USA, pp. 239-250, 2010, ACM, 978-1-4503-0033-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
language primality, complexity, xml, xml schemas |
44 | Chieko Matsuyama, Toyoshiro Nakashima, Naohiro Ishii |
Effect of Touch-Typing Practices in Computer Literacy and Evaluation of Its Continuity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 12th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel & Distributed Computing, SNPD 2011, Sydney, Australia, July 6-8, 2011, pp. 205-210, 2011, IEEE Computer Society, 978-1-4577-0896-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Touch-typing, Effect of typing practice, Continuity |
44 | Jorge Martinez 0001, Eric Richard Zenk |
Nuclear Typing of Frames vs Spatial Selectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(1), pp. 35-61, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
nuclear typing, spatial selector, algebraic frame and space, exactness of typing, frame, patch |
44 | Mario H. Urbina, Anke Huckauf |
Alternatives to single character entry and dwell time selection on eye typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the 2010 Symposium on Eye-Tracking Research & Applications, ETRA 2010, Austin, Texas, USA, March 22-24, 2010, pp. 315-322, 2010, ACM, 978-1-60558-994-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
user interfaces, eye tracking, input devices, longitudinal study, gaze control, eye-typing, selection methods |
44 | Päivi Majaranta, I. Scott MacKenzie, Anne Aula, Kari-Jouko Räihä |
Auditory and visual feedback during eye typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003, pp. 766-767, 2003, ACM, 1-58113-637-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
feedback modalities, text entry, eye typing, disabled users |
44 | Päivi Majaranta, Kari-Jouko Räihä |
Twenty years of eye typing: systems and design issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2002, New Orleans, Louisiana, USA, March 25-27, 2002, pp. 15-22, 2002, ACM, 1-58113-467-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
eye tracking, Eye typing, alternative communication |
44 | Mikael Goldstein, Robert Book, Gunilla Alsiö, Silvia Tessa |
Non-Keyboard QWERTY Touch Typing: A Portable Input Interface for The Mobile User. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceeding of the CHI '99 Conference on Human Factors in Computing Systems: The CHI is the Limit, Pittsburgh, PA, USA, May 15-20, 1999., pp. 32-39, 1999, ACM, 0-201-48559-1. The full citation details ...](Pics/full.jpeg) |
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 |
44 | Szabolcs Rozsnyai, Josef Schiefer, Alexander Schatten |
Concepts and models for typing events for event-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, DEBS 2007, Toronto, Ontario, Canada, June 20-22, 2007, pp. 62-70, 2007, ACM, 978-1-59593-665-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
service oriented architecture, complex event processing, event model, event stream processing |
44 | Michele Bugliesi, Damiano Macedonio, Sabina Rossi |
Static vs Dynamic Typing for Access Control in Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings, pp. 282-296, 2007, Springer, 978-3-540-76927-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Azweeda Dahalan, Momoh-Jimoh E. Salami, Weng Kin Lai, Ahmad Faris Ismail |
Intelligent Pressure-Based Typing Biometrics System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 294-304, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell |
Security by typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(4), pp. 472-495, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Intruder abilities, Authentication, Integrity, Type System, Cryptographic Protocols, Secrecy |
44 | Robert Cartwright, Mike Fagan |
Soft typing (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 412-428, 1991, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
44 | David Livingstone, Hamid Gharib |
Data Typing in APL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Conference Proceedings on APL as a Tool of Thought, APL 1989, New York City, NY, USA, August 7-10, 1989., pp. 231-241, 1989, ACM, 0-89791-327-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
APL |
39 | David Kim, Joseph S. Valacich, Jeffrey L. Jenkins, Manasvi Kumar |
Typing Fast versus Typing Slow: Using Typing Dynamics to Reveal Authentic and Imposter Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023, pp. 4047-4056, 2023, ScholarSpace, 978-0-9981331-6-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
38 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the 2010 Symposium on Eye-Tracking Research & Applications, ETRA 2010, Austin, Texas, USA, March 22-24, 2010, pp. 77-80, 2010, ACM, 978-1-60558-994-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
gaze typing, low cost, augmentative and alternative communication, gaze interaction, off-the-shelf components |
38 | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks |
Static type inference for Ruby. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1859-1866, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
contracts, type inference, Ruby, dynamic typing |
38 | Giovanni Lagorio, Elena Zucca |
Introducing safe unknown types in Java-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1429-1434, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
java-like languages, type-systems, static typing |
38 | Shari Trewin |
An invisible keyguard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the ACM Conference on Assistive Technologies, ASSETS 2002, Edinburgh, Scotland, UK, July 8-10, 2002, pp. 143-149, 2002, ACM, 1-58113-464-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
OverlapKeys, keyguard, accessibility, keyboard, motor disabilities, typing errors |
38 | José Espírito Santo, Silvia Ghilezan, Jelena Ivetic |
Characterising Strongly Normalising Intuitionistic Sequent Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, pp. 85-99, 2007, Springer, 978-3-540-68084-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Pilsung Kang 0001, Sunghoon Park, Sungzoon Cho, Seongseob Hwang, Hyoungjoo Lee |
The Effectiveness of Artificial Rhythms and Cues in Keystroke Dynamics Based User Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISI ![In: Intelligence and Security Informatics, International Workshop, WISI 2006, Singapore, April 9, 2006, Proceedings, pp. 161-162, 2006, Springer, 3-540-33361-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Nobuko Yoshida, Matthew Hennessy |
Assigning Types to Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 334-345, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
higher-order pi-calculus, distributed systems, concurrency, type system, subtyping |
36 | Päivi Majaranta, Ulla-Kaija Ahola, Oleg Spakov |
Fast gaze typing with an adjustable dwell time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 357-360, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
gaze input, gaze typing, text entry, longitudinal study |
36 | Iman Habib, Niklas Berggren, Erik Rehn, Gustav Josefsson, Andreas M. Kunz, Morten Fjeld |
DGTS: Integrated Typing and Pointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (2) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II, pp. 232-235, 2009, Springer, 978-3-642-03657-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multi pointer, typing, pointing, touchpad, Capacitive sensing |
36 | I. Scott MacKenzie, Xuang Zhang |
Eye typing using word and letter prediction and a fixation algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2008, Savannah, Georgia, USA, March 26-28, 2008, pp. 55-58, 2008, ACM, 978-1-59593-982-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
button size, fixation algorithm, letter prediction, eye tracking, word prediction, eye typing |
36 | Alen Peacock, Xian Ke, Matthew Wilkerson |
Typing Patterns: A Key to User Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 2(5), pp. 40-47, 2004. The full citation details ...](Pics/full.jpeg) |
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 |
36 | Kazuhiro Terajima, Takashi Komuro, Masatoshi Ishikawa |
Fast finger tracking system for in-air typing interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 3739-3744, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
embedded computer vision., vision-based ui, portable device |
36 | Phaedra Agius, Barry Kreiswirth, Steve Naidich, Kristin P. Bennett |
Typing Staphylococcus aureus Using the spa Gene and Novel Distance Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 4(4), pp. 693-704, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
sequence algorithms, staphylococcus aureus, moleuclar epidemiology, clustering, genotyping |
36 | Wahyudi Martono, Hasimah Ali, Momoh-Jimoh E. Salami |
Keystroke Pressure-Based Typing Biometrics Authentication System Using Support Vector Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II, pp. 85-93, 2007, Springer, 978-3-540-74475-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
keystroke, maximum pressure, time latency and support vector machine, security, Biometric |
36 | Jim Steel, Jean-Marc Jézéquel |
Model Typing for Improving Reuse in Model-Driven Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 84-96, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2004, Stanford, CA, USA, August 16-19, 2004, pp. 520-521, 2004, IEEE Computer Society, 0-7695-2194-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Shereen Yong, Weng-Kin Lai, George G. Coghill |
Weightless Neural Networks for Typing Biometrics Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 284-293, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Karina Olmos, Eelco Visser |
Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands, pp. 141-150, 2003, IEEE Computer Society, 0-7695-2005-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Behrooz Ashtiani, I. Scott MacKenzie |
BlinkWrite2: an improved text entry method using eye blinks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the 2010 Symposium on Eye-Tracking Research & Applications, ETRA 2010, Austin, Texas, USA, March 22-24, 2010, pp. 339-345, 2010, ACM, 978-1-60558-994-7. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Stefan Holdermans, Jurriaan Hage |
Making "stricterness" more relevant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 121-130, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis |
31 | Naouel Moha, Vincent Mahé, Olivier Barais, Jean-Marc Jézéquel |
Generic Model Refactorings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 628-643, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model Typing, Adaptation, Genericity, Refactoring, Aspect Weaving |
31 | Akiyo Kano, Janet C. Read |
Causes of Simultaneous Keystrokes in Children and Adults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (1) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I, pp. 137-140, 2009, Springer, 978-3-642-03654-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Typing error analysis, Simultaneous keystrokes, Zero Time keystrokes, Adjacent letter Errors, Transposition Error |
31 | Levent V. Orman |
Browsing databases with constraint hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commer. Res. ![In: Electron. Commer. Res. 8(1-2), pp. 29-56, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Database browsing, Market search, Electronic markets, Data typing, Database application, Constraint hierarchies, Incremental search |
31 | Jacob O. Wobbrock, James Rubinstein, Michael W. Sawyer, Andrew T. Duchowski |
Longitudinal evaluation of discrete consecutive gaze gestures for text entry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2008, Savannah, Georgia, USA, March 26-28, 2008, pp. 11-18, 2008, ACM, 978-1-59593-982-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
gestures, text entry, text input, eye-typing |
31 | Dan Witzner Hansen, Henrik H. T. Skovsgaard, John Paulin Hansen, Emilie Møllenbach |
Noise tolerant selection by gaze-controlled pan and zoom in 3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2008, Savannah, Georgia, USA, March 26-28, 2008, pp. 205-212, 2008, ACM, 978-1-59593-982-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mobile displays, eye tracking, assistive technology, zooming, 3D interfaces, gaze interaction, eye typing, alternative communication, computer input devices |
31 | Kris Venstermans, Lieven Eeckhout, Koen De Bosschere |
Java object header elimination for reduced memory consumption in 64-bit virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 4(3), pp. 17, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
64-bit implementation, Java object model, implicit typing, typed virtual addressing, Virtual machine |
31 | Jurriaan Hage, Stefan Holdermans, Arie Middelkoop |
A generic usage analysis with subeffect qualifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 235-246, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
uniqueness typing, type and effect systems, qualified types, sharing analysis |
31 | Tom Stocky, Alexander Faaborg, Henry Lieberman |
A commonsense approach to predictive text entry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 1163-1166, 2004, ACM, 1-58113-703-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
open mind common sense, typing aids, predictive interfaces |
31 | Steve Reeves, David Streader |
Comparison of Data and Process Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 266-285, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
process refinement, sub-typing, Z, labelled transition systems, data refinement |
31 | Warwick B. Mugridge, John Hamer, John G. Hosking |
Multi-Methods in a Statically-Typed Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 307-324, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
contravariance, object-oriented, polymorphism, static-typing, multi-methods |
31 | Michael V. Mannino, Injun Choi, Don S. Batory |
The Object-Oriented Functional Data Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(11), pp. 1258-1272, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics |
30 | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida |
On Progress for Structured Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, pp. 257-275, 2007, Springer, 978-3-540-78662-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Pilsung Kang 0001, Seongseob Hwang, Sungzoon Cho |
Continual Retraining of Keystroke Dynamics Based Authenticator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: Advances in Biometrics, International Conference, ICB 2007, Seoul, Korea, August 27-29, 2007, Proceedings, pp. 1203-1211, 2007, Springer, 978-3-540-74548-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Maribel Fernández, Murdoch Gabbay |
Curry-Style Types for Nominal Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, pp. 125-139, 2006, Springer, 978-3-540-74463-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
polymorphism, type inference, rewriting, binding |
30 | Zhenyue Deng, Geoffrey Smith 0001 |
Lenient Array Operations for Practical Secure Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA, pp. 115-, 2004, IEEE Computer Society, 0-7695-2169-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu |
Construction of a Semantic Model for a Typed Assembly Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, pp. 30-43, 2004, Springer, 3-540-20803-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Ferruccio Damiani |
Rank 2 intersection types for local definitions and conditional expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(4), pp. 401-451, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
polymorphic recursion, Type inference, principal typings |
30 | Premkumar T. Devanbu, Michael Gertz 0001, Brian Toone |
Static Type-Inference for Trust in Distributed Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003, pp. 370-388, 2003, Springer, 3-540-20498-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Hongwei Xi |
Unifying object-oriented programming with typed functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIA-PEPM ![In: Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 117-125, 2002, ACM, 1-58113-458-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
DML, object-oriented, dependent types |
30 | J. B. Wells |
The Essence of Principal Typings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 913-925, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | David Aspinall 0001, Martin Hofmann 0001 |
Another Type System for In-Place Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 36-52, 2002, Springer, 3-540-43363-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Shumin Zhai, Alison E. Sue, Johnny Accot |
Movement model, hits distribution and learning in virtual keyboarding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the CHI 2002 Conference on Human Factors in Computing Systems: Changing our World, Changing ourselves, Minneapolis, Minnesota, USA, April 20-25, 2002., pp. 17-24, 2002, ACM, 1-58113-453-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
expanding rehearsal, graphical keyboard, mobile computing, learning, memory, text entry, Fitts' law, text input, virtual keyboard, soft keyboard, skill acquisition, on screen keyboard |
30 | Nobuhiro Morita, Makoto Haraguchi, Yoshiaki Okubo |
A Method of Similarity-Driven Knowledge Revision for Type Specializations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 10th International Conference, ALT '99, Tokyo, Japan, December 6-8, 1999, Proceedings, pp. 194-205, 1999, Springer, 3-540-66748-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Ronald T. House |
Thoughts on "Extended Pascal - Illustrative Examples". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 22(8), pp. 33-38, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Pascal |
29 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (15) ![In: Ergonomics and Health Aspects of Work with Computers, International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 241-249, 2009, Springer, 978-3-642-02730-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Letters Key Design, PDA Typing Posture |
29 | James Riely, Matthew Hennessy |
Trust and Partial Typing in Open Systems of Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 31(3-4), pp. 335-370, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
partial typing, trust, type safety |
29 | Richard W. Kopak |
Functional link typing in hypertext. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 31(4es), pp. 16, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
link taxonomies, electronic publishing, link typing |
28 | Andrés Vignaga, Frédéric Jouault, M. Cecilia Bastarrica, Hugo Bruneliere |
Typing in Model Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, pp. 197-212, 2009, Springer, 978-3-642-02407-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | James Clawson, Kent Lyons, Alex Rudnick, Robert A. Iannucci, Thad Starner |
Automatic whiteout++: correcting mini-QWERTY typing errors using keypress timing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, 2008, Florence, Italy, April 5-10, 2008, pp. 573-582, 2008, ACM, 978-1-60558-011-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
keyboard input, mini-qwerty, mobile text input, mobile phones, error correction, mobile text entry |
28 | Nicoletta De Francesco, Luca Martini |
Instruction-level security typing by abstract interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 6(2-3), pp. 85-106, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Abstract interpretation, Information flow, Language based security |
28 | Michal Choras, Piotr Mroczkowski |
Recognizing Individual Typing Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA (2) ![In: Pattern Recognition and Image Analysis, Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II, pp. 323-330, 2007, Springer, 978-3-540-72848-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Dimitris Mostrous, Nobuko Yoshida |
Two Session Typing Systems for Higher-Order Mobile Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 321-335, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Jeremy G. Siek, Walid Taha |
Gradual Typing for Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, pp. 2-27, 2007, Springer, 978-3-540-73588-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2449 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|