• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 503
Next 10 →

Data Mountain: Using Spatial Memory for Document Management

by George Robertson, Mary Czerwinski, Kevin Larson, Daniel C. Robbins, David Thiel, Maarten Van Dantzich , 1998
"... Effective management of documents on computers has been a central user interface problem for many years. One common approach involves using 2D spatial layouts of icons representing the documents, particularly for information workspace tasks. This approach takes advantage of human 2D spatial cognitio ..."
Abstract - Cited by 273 (14 self) - Add to MetaCart
Effective management of documents on computers has been a central user interface problem for many years. One common approach involves using 2D spatial layouts of icons representing the documents, particularly for information workspace tasks. This approach takes advantage of human 2D spatial

IMPS: An Interactive Mathematical Proof System

by William M. Farmer, Joshua D. Guttman, F. Javier Thayer - Journal of Automated Reasoning , 1993
"... imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a version of simple type theory with partial functions and subtypes. Mathematical specication and inference are perfor ..."
Abstract - Cited by 87 (21 self) - Add to MetaCart
containing almost a thousand repeatable proofs covers signicant portions of logic, algebra and analysis, and provides some support for modeling applications in computer science. Key Words: interactive theorem proving, automated analysis, computing with theorems, theory interpretation, higher-order logic

Designing human friendly human interaction proofs (HIPs

by Kumar Chellapilla, Kevin Larson, Patrice Simard, Mary Czerwinski - In sigchi conference on Human Factors in Computing Systems , 2005
"... HIPs, or Human Interactive Proofs, are challenges meant to be easily solved by humans, while remaining too hard to be economically solved by computers. HIPs are increasingly used to protect services against automatic script attacks. To be effective, a HIP must be difficult enough to discourage scrip ..."
Abstract - Cited by 48 (2 self) - Add to MetaCart
HIPs, or Human Interactive Proofs, are challenges meant to be easily solved by humans, while remaining too hard to be economically solved by computers. HIPs are increasingly used to protect services against automatic script attacks. To be effective, a HIP must be difficult enough to discourage

Leveraging Human Computation Markets for Interactive Evolution

by Joel Lehman, Risto Miikkulainen
"... Leveraging human input for selection in an evolutionary algorithm, i.e. interactive evolution, is effective when an appropriate domain fitness function is hard to quantify, but where solution quality is easily recognizable by humans. However, single-user applications of interactive evolution are lim ..."
Abstract - Add to MetaCart
Leveraging human input for selection in an evolutionary algorithm, i.e. interactive evolution, is effective when an appropriate domain fitness function is hard to quantify, but where solution quality is easily recognizable by humans. However, single-user applications of interactive evolution

Relational Agents: Effecting Change through Human-Computer Relationships

by Timothy Wallace Bickmore , 2003
"... What kinds of social relationships can people have with computers? Are there activities that computers can engage in that actively draw people into relationships with them? What are the potential benefits to the people who participate in these human-computer relationships? To address these question ..."
Abstract - Cited by 137 (16 self) - Add to MetaCart
and manage future expectations in their interactions with users. Finally, relationships are fundamentally social and emotional, and detailed knowledge of human social psychology--with a particular emphasis on the role of affect--must be incorporated into these agents if they are to effectively leverage

BaffleText: a Human Interactive Proof

by Monica Chew, Henry S. Baird - In Proc., 10th IS&T/SPIE Document Recognition & Retrieval Conf , 2003
"... Internet services designed for human use are being abused by programs. We present a defense against such attacks in the form of a CAPTCHA (Completely Automatic Public Turing test to tell Computers and Humans Apart) that exploits the difference in ability between humans and machines in reading images ..."
Abstract - Cited by 51 (5 self) - Add to MetaCart
images of text. CAPTCHAs are a special case of `human interactive proofs,' which work in a broad class of security protocols that allow people to identify themselves as members of given groups. We point out vulnerabilities of reading-based CAPTCHAs to dictionary and computer-vision attacks. We also

Leveraging social networks to motivate individuals to reduce their ecological footprints

by Jennifer Mankoff, Deanna Matthews, Susan R. Fussell, Michael Johnson, Jennifer Mankoff, Deanna Matthews, Susan R. Fussell, Michael Johnson - Proceedings of the 40th Hawaii International Conference on System Sciences , 2007
"... accepted for inclusion in Human-Computer Interaction Institute by an authorized administrator of Research Showcase @ CMU. For more information, please contact ..."
Abstract - Cited by 66 (3 self) - Add to MetaCart
accepted for inclusion in Human-Computer Interaction Institute by an authorized administrator of Research Showcase @ CMU. For more information, please contact

Using machine learning to break visual human interaction proofs (HIPs

by Patrice Y. Simard - Advances in Neural Information Processing Systems 17, Neural Information Processing Systems (NIPS’2004 , 2004
"... Machine learning is often used to automatically solve human tasks. In this paper, we look for tasks where machine learning algorithms are not as good as humans with the hope of gaining insight into their current limitations. We studied various Human Interactive Proofs (HIPs) on the market, because t ..."
Abstract - Cited by 61 (3 self) - Add to MetaCart
Machine learning is often used to automatically solve human tasks. In this paper, we look for tasks where machine learning algorithms are not as good as humans with the hope of gaining insight into their current limitations. We studied various Human Interactive Proofs (HIPs) on the market, because

Phish and HIPs: Human Interactive Proofs to

by Detect Phishing Attacks, Rachna Dhamija, J. D. Tygar - In Human Interactive Proofs: Second International Workshop (HIP 2005 , 2005
"... In this paper, we propose a new class of Human Interactive Proofs (HIPs) that allow a human to distinguish one computer from another. Unlike traditional HIPs, where the computer issues a challenge to the user over a network, in this case, the user issues a challenge to the computer. This type of ..."
Abstract - Add to MetaCart
In this paper, we propose a new class of Human Interactive Proofs (HIPs) that allow a human to distinguish one computer from another. Unlike traditional HIPs, where the computer issues a challenge to the user over a network, in this case, the user issues a challenge to the computer. This type

Computers beat humans at single character recognition in reading based human interaction proofs (HIPs

by Kumar Chellapilla, Kevin Larson, Patrice Simard, Mary Czerwinski - In 2nd Conference on Email and Anti-Spam , 2005
"... Human interaction proofs (HIPs) have become commonplace on the internet for protecting free online services from abuse by automated scripts/bots. They are challenges designed to be easily solved by humans, while remaining too hard for computers to solve. Reading based HIPs comprise a segmentation pr ..."
Abstract - Cited by 51 (0 self) - Add to MetaCart
Human interaction proofs (HIPs) have become commonplace on the internet for protecting free online services from abuse by automated scripts/bots. They are challenges designed to be easily solved by humans, while remaining too hard for computers to solve. Reading based HIPs comprise a segmentation
Next 10 →
Results 1 - 10 of 503
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University