HCI Bibliography : Search Results skip to search form | skip to results |
Database updated: 2016-05-10 Searches since 2006-12-01: 32,299,712 		director@hcibib.org
Hosted by ACM SIGCHI
The HCI Bibliogaphy was moved to a new server 2015-05-12 and again 2016-01-05, substantially degrading the environment for making updates.
There are no plans to add to the database.
Please send questions or comments to director@hcibib.org.
Query: navon_j* ⇒ Results: 3 Sorted by: Date  Comments?
Help Dates
Limit:   
[1] Identifying Relevant Messages in a Twitter-based Citizen Channel for Natural Disaster Situations SWDM 2015 / Cobo, Alfredo / Parra, Denis / Navón, Jaime Companion Proceedings of the 2015 International Conference on the World Wide Web 2015-05-18 v.2 p.1189-1194
© Copyright 2015 ACM
ACM Digital Library Link
Summary: During recent years the online social networks (in particular Twitter) have become an important alternative information channel to traditional media during natural disasters, but the amount and diversity of messages poses the challenge of information overload to end users. The goal of our research is to develop an automatic classifier of tweets to feed a mobile application that reduces the difficulties that citizens face to get relevant information during natural disasters. In this paper, we present in detail the process to build a classifier that filters tweets relevant and non-relevant to an earthquake. By using a dataset from the Chilean earthquake of 2010, we first build and validate a ground truth, and then we contribute by presenting in detail the effect of class imbalance and dimensionality reduction over 5 classifiers. We show how the performance of these models is affected by these variables, providing important considerations at the moment of building these systems.
[2] Model checking cobweb protocols for verification of HTML frames behavior Hypermedia in the Small / Stotts, David / Navon, Jaime Proceedings of the 2002 International Conference on the World Wide Web 2002-05-07 p.182-190
Keywords: HTML, browsing semantics, formal semantics, frames, literary hypertext, model checking, temporal logic, verification
© Copyright 2002 Authors
ACM Digital Library Link
Summary: HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document editors) to verify that complex frame construction exhibits the intended behavior when browsed. The method is based on model checking (an automated program verification technique), and on temporal logic specifications of expected frames behavior. We show how to model the HTML frames source as a CobWeb protocol, related to the Trellis model of hypermedia documents. We show how to convert the CobWeb protocol to input for a model checker, and discuss several ways for authors to create the necessary behavior specifications. Our solution allows Web documents to be built containing a large number of frames and content pages interacting in complex ways. We expect such Web structures to be more useful in "literary" hypermedia than for Web "sites" used as interfaces to organizational information or databases.
[3] EDITED BOOK Groupware and Authoring / Rada, Roy 1996 p.369 Academic Press
ISBN: 0-12-575005-6
1. Introduction
2. A Review of Collaborative Authoring Tools
	+ Michailidis, Antonios
	+ Rada, Roy
3. Collaborative Authoring Dynamics
	+ Chen, Chaomei
	+ Rada, Roy
4. A Portrait of the Author as an Interacting Group
	+ Oravec, Jo Ann
5. Coordination and Reuse
	+ Rada, Roy
6. The Effectiveness of Simple Shared Electronic Workspaces
	+ Olson, Gary M.
	+ Olson, Judith S.
7. Computer-mediated Communication for Intellectual Teamwork: An Experiment in Group Writing
	+ Galegher, Jolene
	+ Kraut, Robert E.
8. Learning to Write Together
	+ Posner, Ilona
	+ Mitchell, Alex
	+ Baecker, Ronald
9. Flexible Diff-ing in a Collaborative Writing System
	+ Neuwirth, Christine M.
	+ Chandhok, Ravinder
	+ Kaufer, David S.
	+ Erion, Paul
	+ Morris, James
	+ Miller, Dale
10. Collaborative Writing with Synchronous and Asynchronous Support Environments
	+ Sasse, Martina Angela
	+ Handley, Mark James
11. Using Multimedia to Support Cooperative Editing
	+ Santos, A.
	+ Tritsch, B.
12. SEPIA: A Cooperative Hypermedia Authoring Environment
	+ Streitz, Norbert
	+ Haake, Jorg
	+ Hannemann, Jorg
	+ Lemke, Andreas
	+ Schuler, Wolfgang
	+ Schutt, Helge
	+ Thuring, Manfred
13. Structured and Distributed Cooperative Editing in a Large Scale Network
	+ Decouchant, Dominique
	+ Quint, Vincent
	+ Salcedo, Manuel Romero
14. A Three-Level Binding for Collaborative Editing Semantics
	+ Stotts, David
	+ Dewan, Prasun
	+ Munson, Jonathan
	+ Navon, Jaime
15. SAGE: A High Structure System for Helping Teams Find Wisdom (within themselves)
	+ Capron, Michael
	+ Desimone, Jacqueline
	+ Lacomis-Cote, Karen
16. Multimedia and Multi-party Desktop Conference System: MERMAID as Groupware Platform
	+ Sakata, Shiro
	+ Maeno, Kazutoshi
	+ Fukuoka, Hideyuki
	+ Abe, Toyoko
	+ Mizuno, Hiromi