Sciweavers

504 search results - page 20 / 101
» Names and reference in user interfaces
Sort
View
WIKIS
2010
ACM
15 years 5 months ago
Deep hypertext with embedded revision control implemented in regular expressions
While text versioning was definitely a part of the original hypertext concept [21, 36, 44], it is rarely considered in this context today. Still, we know that revision control un...
Victor S. Grishchenko
107
Voted
JIIS
2008
104views more  JIIS 2008»
15 years 1 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
112
Voted
MOBIQUITOUS
2005
IEEE
15 years 7 months ago
StateSnap: A Snapshot-based Interface for State-Reproductable Operation of Networked Appliances
This paper describes a snapshot-based interface for networked appliances operations that allows users to store and reproduce the conditions of media contents in those appliances b...
Naohiko Kohtake, Takeshi Iwamoto, Genta Suzuki, Sh...
143
Voted
ACL
2009
14 years 11 months ago
The Impact of Query Refinement in the Web People Search Task
Searching for a person name in a Web Search Engine usually leads to a number of web pages that refer to several people sharing the same name. In this paper we study whether it is ...
Javier Artiles, Julio Gonzalo, Enrique Amigó...
105
Voted
ATAL
2008
Springer
15 years 3 months ago
The identification of users by relational agents
Virtual agents designed to establish relationships with more than one user must be able to identify and distinguish among those users with high reliability. We descr...
Daniel Schulman, Mayur Sharma, Timothy W. Bickmore