Sciweavers

113 search results - page 3 / 23
» Towards Logical Hypertext Structure
Sort
View
HT
1987
ACM
13 years 8 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
ICSM
1996
IEEE
13 years 9 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
TKDE
2002
111views more  TKDE 2002»
13 years 4 months 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...
IGPL
1998
97views more  IGPL 1998»
13 years 5 months 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
13 years 10 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