Sciweavers

515 search results - page 79 / 103
» Turning the page on navigation
Sort
View
AND
2010
13 years 5 months ago
Document: a useful level for facing noisy data
In this paper we will present a set of experiments using large digitalized collections of books to show that logical structures can be extracted with good quality when working at ...
Hervé Déjean, Jean-Luc Meunier
DRR
2009
13 years 5 months ago
Enriching a document collection by integrating information extraction and PDF annotation
Modern digital libraries offer all the hyperlinking possibilities of the World Wide Web: when a reader finds a citation of interest, in many cases she can now click on a link to b...
Brett Powley, Robert Dale, Ilya Anisimoff
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 5 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
HCI
2009
13 years 5 months ago
A Usability Inspection of Medication Management in Three Personal Health Applications
We present the findings of a cognitive walkthrough inspection on three Personal Health Applications (PHAs). Two of the PHAs, Google Health and Microsoft HealthVault, are general pu...
Katie A. Siek, Danish Ullah Khan, Stephen E. Ross
JAIR
2011
138views more  JAIR 2011»
13 years 2 months ago
Identifying Aspects for Web-Search Queries
Many web-search queries serve as the beginning of an exploration of an unknown space of information, rather than looking for a specific web page. To answer such queries effectiv...
Fei Wu, Jayant Madhavan, Alon Y. Halevy