Sciweavers

113 search results - page 3 / 23
» Towards Logical Hypertext Structure
Sort
View
126
Voted
HT
1987
ACM
15 years 4 months ago
Exploring Representation Problems Using Hypertext
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
Catherine C. Marshall
110
Voted
ICSM
1996
IEEE
15 years 5 months ago
VIFOR 2: a tool for browsing and documentation
During the maintenance of legacy systems, the structure and the documentationofthe system usually deteriorates, and hence the maintenance becomesprogressively harder and harder. I...
Vaclav Rajlich, Sridhar Reddy Adnapally
107
Voted
TKDE
2002
111views more  TKDE 2002»
15 years 23 days ago
Query Relaxation by Structure and Semantics for Retrieval of Logical Web Documents
Since WWW encourages hypertext and hypermedia document authoring (e.g. HTML or XML), Web authors tend to create documents that are composed of multiple pages connected with hyperl...
Wen-Syan Li, K. Selçuk Candan, Quoc Vu, Div...
99
Voted
IGPL
1998
97views more  IGPL 1998»
15 years 24 days ago
Towards Structurally-Free Theorem Proving
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
Marcelo Finger
KES
2005
Springer
15 years 6 months ago
Enhancing Computer Chat: Toward a Smooth User-Computer Interaction
Abstract. Human-computer interaction (HCI) has fundamentally changed computing. The ubiquity of HCI can be seen in several kinds of application areas, such as text editing, hyperte...
Calkin A. S. Montero, Kenji Araki