Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
503
Data Mountain: Using Spatial Memory for Document Management
, 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
- 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
- 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
"... 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
, 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
- 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
- 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
- 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
- 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
- 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
Results 1 - 10
of
503
