Y
Yury Puzis
Researcher at Stony Brook University
Publications - 25
Citations - 415
Yury Puzis is an academic researcher from Stony Brook University. The author has contributed to research in topics: Web page & Web navigation. The author has an hindex of 11, co-authored 25 publications receiving 365 citations. Previous affiliations of Yury Puzis include University of Miami.
Papers
More filters
Book ChapterDOI
SRASS - A Semantic Relevance Axiom Selection System
Geoff Sutcliffe,Yury Puzis +1 more
TL;DR: This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axiom, to obtain a proof of a conjecture.
Journal ArticleDOI
An Interactive Derivation Viewer
TL;DR: This work describes the Interactive Derivation Viewer (IDV) tool for graphical rendering of derivations that are written in the TPTP language, providing an interactive interface that allows the user to quickly view various features of the derivation.
Proceedings Article
Automated generation of interesting theorems
TL;DR: The techniques, implementation, and results of an automated system that generates logical consequences of a set of axioms, and uses filters and ranking to identify interesting theorems among the logical consequences, are described.
Proceedings ArticleDOI
Why read if you can skim: towards enabling faster screen reading
TL;DR: This paper explores the user requirements for a usable non-visual skimming interface, informed by a large-scale human-subject experiment with blind individuals, and identified automatic summarization techniques that could "closely" approximate skimming methods used by sighted people.
Proceedings ArticleDOI
Capti-speak: a speech-enabled web screen reader
TL;DR: Capti-Speak is described, a speech-enabled screen reader for web browsing, capable of translating speech utterances into browsing actions, executing the actions, and providing audio feedback, and a user study showed that it was significantly more usable and efficient compared to the regular screen reader.