Sciweavers

3434 search results - page 313 / 687
» Peer-to-Peer Keyword Search Using Keyword Relationship
Sort
View
CSL
2001
Springer
15 years 11 months ago
Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
Hitoshi Ohsaki
NIME
2001
Springer
126views Music» more  NIME 2001»
15 years 11 months ago
Problems and Prospects for Intimate Musical Control of Computers
In this paper we describe our efforts towards the development of live performance computer-based musical instrumentation. Our design criteria include initial ease of use coupled w...
David Wessel, Matthew Wright
ASSETS
2000
ACM
15 years 11 months ago
A framework of assistive pointers for low vision users
Manipulating a mouse pointer is often difficult for the low vision computer user. Working with such a small, mobile screen object is very visually demanding. Although several tech...
Julie Fraser, Carl Gutwin
IUI
2000
ACM
15 years 11 months ago
Mining navigation history for recommendation
Although a user’s navigation history contains a lot of hidden information about the relationship between web pages and between users, this information is usually not exploited. ...
Xiaobin Fu, Jay Budzik, Kristian J. Hammond
DIAGRAMS
2000
Springer
15 years 11 months ago
On the Completeness and Expressiveness of Spider Diagram Systems
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
John Howse, Fernando Molina, John Taylor