Information-flow and data-flow analysis of while-programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
International Journal of Man-Machine Studies
I3R: a new approach to the design of document retrieval systems
Journal of the American Society for Information Science
Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Language for Specifying Program Transformations
IEEE Transactions on Software Engineering
Constant propagation with conditional branches
ACM Transactions on Programming Languages and Systems (TOPLAS)
The semantic approach to program slicing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Generalized partial computation for a lazy functional language
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Essence of generalized partial computation
Theoretical Computer Science - Images of programming dedicated to the memory of Andrei P. Ershov
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Parameterized partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A new model of program dependences for reverse engineering
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Information seeking in electronic environments
Information seeking in electronic environments
Precise interprocedural chopping
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
How do users know what to say?
interactions
An introduction to partial evaluation
ACM Computing Surveys (CSUR)
Computability and complexity: from a programming perspective
Computability and complexity: from a programming perspective
A query language for a Web-site management system
ACM SIGMOD Record
Elements of ML programming (ML97 ed.)
Elements of ML programming (ML97 ed.)
Catching the boat with Strudel: experiences with a Web-site management system
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Database techniques for the World-Wide Web: a survey
ACM SIGMOD Record
TRIPs: an integrated intelligent problem-solving assistant
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Interface and data architecture for query preview in networked information systems
ACM Transactions on Information Systems (TOIS)
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Personalization on the Net using Web mining: introduction
Communications of the ACM
Web usage mining for Web site evaluation
Communications of the ACM
Automatic personalization based on Web usage mining
Communications of the ACM
Dynamic hypertext: querying and linking
ACM Computing Surveys (CSUR)
The influence of browsers on evaluators or, continuations to program web servers
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Programmers use slices when debugging
Communications of the ACM
Essentials of programming languages (2nd ed.)
Essentials of programming languages (2nd ed.)
Mixed-initiative interaction = mixed computation
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Dealing with mobility: understanding access anytime, anywhere
ACM Transactions on Computer-Human Interaction (TOCHI)
Modern Information Retrieval
Information Appliances and Beyond
Information Appliances and Beyond
Finding the flow in web site search
Communications of the ACM
ACM Computing Surveys (CSUR)
User Modeling and User-Adapted Interaction
Understanding and Restructuring Web Sites with ReWeb
IEEE MultiMedia
Dynamic Taxonomies: A Model for Large Information Bases
IEEE Transactions on Knowledge and Data Engineering
IEEE Intelligent Systems
Web mining for web personalization
ACM Transactions on Internet Technology (TOIT)
Program Specialization via Program Slicing
Selected Papers from the Internaltional Seminar on Partial Evaluation
Personalizing Web Sites with Mixed-Initiative Interaction
IT Professional
Web usage mining: discovery and applications of usage patterns from Web data
ACM SIGKDD Explorations Newsletter
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Dynamic Hierarchy Specification and Visualization
INFOVIS '99 Proceedings of the 1999 IEEE Symposium on Information Visualization
Chopping: A Generalization of Slicing
Chopping: A Generalization of Slicing
Automatically Restructuring Programs for the Web
Proceedings of the 16th IEEE international conference on Automated software engineering
Code Extraction Algorithms which Unify Slicing and Concept Assignment
WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
Program slices: formal, psychological, and practical investigations of an automatic program abstraction method
Design and Implementation of a Fine-Grained Software Inspection Tool
IEEE Transactions on Software Engineering
Proceedings of the 16th annual ACM symposium on User interface software and technology
Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries
ACM Transactions on Information Systems (TOIS)
Staging transformations for multimodal web interaction management
Proceedings of the 13th international conference on World Wide Web
Enhancing usability in CITIDEL: multimodal, multilingual, and interactive visualization interfaces
Proceedings of the 4th ACM/IEEE-CS joint conference on Digital libraries
Program transformations for information personalization
Program transformations for information personalization
Interacting with Web Hierarchies
IT Professional
A study of out-of-turn interaction in menu-based, IVR, voicemail systems
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Mining Web functional dependencies for flexible information access
Journal of the American Society for Information Science and Technology
Mining user navigation patterns for personalizing topic directories
Proceedings of the 9th annual ACM international workshop on Web information and data management
Symbolic links in the Open Directory Project
Information Processing and Management: an International Journal
Information Processing and Management: an International Journal
Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience
Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience
A generative programming approach to interactive information retrieval: insights and experiences
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
IEEE Transactions on Software Engineering
Personalization by website transformation: Theory and practice
Information Processing and Management: an International Journal
AHSPeR: adaptive hypermedia system oriented toward personalization of readings plans
AICT'11 Proceedings of the 2nd international conference on Applied informatics and computing theory
Hi-index | 0.00 |
Personalization constitutes the mechanisms necessary to automatically customize information content, structure, and presentation to the end-user to reduce information overload. Unlike traditional approaches to personalization, the central theme of our approach is to model a website as a program and conduct website transformation for personalization by program transformation (e.g., partial evaluation, program slicing). The goal of this paper is study personalization through a program transformation lens, and develop a formal model, based on program transformations, for personalized interaction with hierarchical hypermedia. The specific research issues addressed involve identifying and developing program representations and transformations suitable for classes of hierarchical hypermedia, and providing supplemental interactions for improving the personalized experience. The primary form of personalization discussed is out-of-turn interaction-a technique which empowers a user navigating a hierarchical website to postpone clicking on any of the hyperlinks presented on the current page and, instead, communicate the label of a hyperlink nested deeper in the hierarchy. When the user supplies out-of-turn input we personalize the hierarchy to reflect the user's informational need. While viewing a website as a program and site transformation as program transformation is non-traditional, it offers a new way of thinking about personalized interaction, especially with hierarchical hypermedia. Our use of program transformations casts personalization in a formal setting and provides a systematic and implementation-neutral approach to designing systems. Moreover, this approach helped connect our work to human-computer dialog management and, in particular, mixed-initiative interaction. Putting personalized web interaction on a fundamentally different landscape gave birth to this new line of research. Relating concepts in the web domain (e.g., sites, interactions) to notions in the program-theoretic domain (e.g., programs, transformations) constitutes the creativity in this work.