yusuke1997/dblp-id-title huggingface dataset:
Generating Explanation Trees even for Negations in Deductive DataBase Systems
Proposal for a Foreign Language Interface to Prolog
Demonstration: Debugging constraint problems with portable tools
Resolving Color Conflicts During Color Unification
SNARKS: A Browser for Tableaux Derivations
An Overview of the SWI-Prolog Programming Environment
FDBG, the CLP(FD) Debugger Library of SICStus Prolog
Declarative Debugging of Lazy Functional Programs
Keeping Track of Data Dependencies for Incremental Execution in Logic Programming
Incorporating Software Visualization into Prolog Teaching: A Challenge, a Restriction and an Opportunity
A Programming Environment for Developing Large Applications
Complete Visualization of Concurrent Programs and Their Executions
Programing Environment of PIMOS
How to build quickly an efficient implementation of the domain Prop with DyALog
VIZZPROL: A Tool for Visualizing Prolog Programs
Carmen: A Prolog Tool for Generating User Interfaces
Attempto: Controlled Natural Language for Requirements Specifications
A Semantics for Error Declarative Notion of Logic Programs with Negation
Tree-Structured Diagram Drawing System Using CLP
Revisiting Capabilities of Graphic for Logic Programming
The YToolkit: A Prolog Approach to a User Interface
An Architecture for Making Object-Oriented Systems Available from Prolog
Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002
Strategies for the Efficient Solution of Hybrid Constraint Logic Programs
Reliability Prediction and Reliability Assessment Environment or Prolog Programs
Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada
Tenth Workshop on Logic Programming Environments, WLPE 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999
An Integrated Development Environment for Declarative Multi-Paradigm Programming
Evolutionary Logic Programming with RISC
Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143
Using the Oz Explorer for the Development of Constraint Programs
Regular types, modes and model checking (Invited Talk)
COINS: a constraint-based interactive solving system
Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs
Generating Types Is Better than Programming Them
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions
An History Based Interface
On termination of binary CLP programs
Prolog Models for the Model-View-Controller Paradigm (Invited Talk)
Distributed Problem Solving: A Universal Computer Architecture
Quintus WorkPro Programming Enviroment: A Glue for Building Business Applications
A Constraint-Based Declarative Display Description Language for Visualization
Inheritance in Datalog
User-friendly explanations for constraint programming
A Prolog Debugger Based on a Refined Box Model
Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005
The Logic Language ESP and its Programming Environment
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs
A Study of Set-Sharing Analysis via Clique
Exporting Prolog source code
Extending Prolog with Incomplete Fuzzy Information
SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications
A Trace Analyser to Prototype Explanations
A Prolog Debugging System is an Open System
Tracing and Explaining Execution of CLP(FD) Programs
Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains
A Theory of Testing in Logic Programming
A Logic Programming-based Environment for Integrating Architecture Description Languages
MULTI/PLEX: Prolog tools for Formal Languages
Generic Browsing: A Case for Contextual Logic Programming
HyperPro - An integrated documentation environment for CLP
Enhancing Usefulness of Declarative Programming Frameworks through Complete Integration
Assumptions and Abduction in Prolog
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs
Analyzing and Visualising Prolog programs based on XML representations
Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog
PIMOS: A Concurrent Logic Programming Environment
Proving or Disproving likely Invariants with Constraint Reasoning
A Process Based Tracer for KL1 on PIM
Programming in KL1 and AYA
Techniques-Based Programming Environment for Gödel
Algorithmic Debugging and Testing of Prolog Programs
Towards Temporal Reasoning in Constraint Contextual Logic Programming
Enhancing the Alloy Analyzer with Patterns of Analysis
Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997
Automated Debugging of Non-Terminating Prolog Programs
Value withdrawal explanations: a theoretical tool for programming environments
Generating DDB Trees (Abstract)
Program Source as Model for Debugging Prolog
Explanations to Understand the Trace of a Finite Domain Constraint Solver
An Environment for the Exploration of Non Monotonic Logic Programs
Debugging Constraint Programs: The Abstraction Mismatch
Declarative program development in Prolog with GUPU
Constructive combination of crisp and fuzzy logic in a Prolog compiler
Man Machine Service Embedded in Logic Programming
Proving Termination One Loop at a Time
Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003
Upsh: A Unix to Prolog Shell
An Environment for Exploring and Validating Declarative Knowledge
Analysis of Failing Prolog Executions
A Visualization Tool for Constraint Handling Rules
An Improved Non-Termination Criterion for Binary Constraint Logic Programs
Task Force on Logic Program Development (Compulog Project)
Characterizing Prolog Programming Techniques
A Product Assurance Environment for Prolog
Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25
Programmer-Oriented Visualization of Parallel Logic Program Execution
Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6
The Ethnic Minority End-user Perspective
End-user Involvement in Assistive Technology Design for the Deaf - are Artificial Forms of Sign Language Meeting the Needs of the Target Audience?
Texture based Text Detection in Natural Scene Images - A Help to Blind and Visually Impaired Persons
Designing Tangible Table-top Interfaces for Patients in Rehabilitation
Speech and Braille Tools to Improve Access to University Scientific Courses
SUBPAL: A Device for Reading Aloud Subtitles from Television and Cinema
E-learning Platform for Interactive Access to Multimedia Materials in Daisy Format
Sign Language MMS to Make Cell Phones Accessible to the Deaf and Hard-of-hearing Community
Joining Hands: Developing A Sign Language Machine Translation System with and for the Deaf Community
Design Implications for a Ubiquitous Ambient Sound Display for the Deaf
Body Mounted Vision System for Visually Impaired Outdoor and Indoor Wayfinding Assistance
E-voting - a Key to Independence for All
Biomimetic Space-Variant Sampling in a Vision Prosthesis Improves the User's Skill in a Localization Task
Emotional Subtitles: A System and Potential Applications for Deaf and Hearing Impaired People
Haptic and Aural Graphs Exploration for Visually Impaired Users
The Ambient Intelligence and the Assistive Technologies for Elderly, Visually and Hearing Impaired Users in Slovakia
Household Sound Identification for People with Hearing Disabilities
Socially Inclusive E-learning Models in Companies
Taking into Account Cultural and Linguistic Factors: The Tunisian Experience
Improving Social Life and Communication of People with Disabilities by using Internet Facilities
Conference Keynote
Terrain Analysis for Blind Wheelchair Users: Computer Vision Algorithms for Finding Curbs and other Negative Obstacles
Proceedings of the Conference and Workshop on Assistive Technologies for People with Vision and Hearing Impairments: Assistive Technology for All Ages (CVHI-2007), Granada, Spain, 28th - 31th August, 2007
OCR-Algorithm for Detection of Subtitles in Television and Cinema
Experiments of Virtual Navigation as a Step in the Development of a Navigation Tool for Blind People
Incorporating Accessibility within Pedagogical Environments
An Accessible and Usable E-Book as an Educational Tool: How To Get It?
Conference Foreword
Multimodal Access to Mathematics: The LAMBDA System
Towards a Methodology for Educating Students with Special Needs
The Need to Develop Deaf Friendly Materials for Young Black Minority Ethnic Deaf Experiencing Identity Issues
Adaptive, Inclusive Software Design for People with Vision and Hearing Impairments
Telephone and Hearing Impaired - New Approaches for Increasing the Telephone Speech Quality for Hearing Impaired Users
A System for Control of Hearing Instrument Selection and Adjustment based on Evaluation of Correct Transmission of Speech Elements and Features
Vibrette: Aiding Smoke Cessation with Tangible Game Devices
Tangible Data, explorations in data physicalization
Fritzing: a tool for advancing electronic prototyping for designers
SketchTop: design collaboration on a multi-touch tabletop
Fidget widgets: designing for the physical margins of digital workspaces
Transparent sculpture: an embodied auditory interface for sound sculpture
Soundyssey: Hybrid Enrichment System for Elephants in Managed Care
Bamboo Agents: Exploring the Potentiality of Digital Craft by Decoding and Recoding Process
Collaborative Creative Coding Through Drawing Robots
Carnivorous domestic entertainment robots
MugShots: A Mug Display for Front and Back Stage Social Interaction in the Workplace
BalanSAR: Using Spatial Augmented Reality to Train Children's Balancing Skills in Physical Education
Interaction mapping affects spatial memory and the sense of presence when navigating in a virtual environment
Spiky Starfish: Exploring 'Felt Technology' Through a Shape Changing Wearable Bag
Proceedings of the 4th International Conference on Tangible and Embedded Interaction 2010, Cambridge, MA, USA, January 24-27, 2010
Domino: Twin interfaces to unveil the influence of personality traits on usability
Spatializing real time interactive environments
How are you feeling?: Using Tangibles to Log the Emotions of Older Adults
FoldMecha: Exploratory Design and Engineering of Mechanical Papercraft
Designing Bimanual Tangible Interaction for Stroke Survivors
Art, engineering, and invention
"Ah! he wants to win!": Social responses to playing Tic-Tac-Toe against a physical drawing robot
Vital+Morph: A Shape-changing Interface for Remote Biometric Monitoring
Escaping the Sandbox: Making and Its Future
Beyond the Bare Stage: Exploring Props as Potential Improviser-Controlled Technology
Tangible Body Maps of Felt-Sensing Experience
Designing embodied interfaces to support spatial ability
Polipo: a Tangible Toy for Children with Neurodevelopmental Disorders
Hangsters: tangible peripheral interactive avatars for instant messaging
Decomposition as Design: Co-Creating (with) Natureculture
FlowJam: Augmented Experience Design for Participatory Musical Engagement in Exhibition Spaces
Ethereal Phenomena - Interactive Art, Meditation, and Breathing Biofeedback: From Mind and Body Wellness Towards Self-Transcendence
3D-Printed Cells for Creating Variable Softness
TRANS-DOCK: Expanding the Interactivity of Pin-based Shape Displays by Docking Mechanical Transducers
After Words: Interactive Sound Installation Connecting Language, Body, and Machine
Bio-Sensed and Embodied Participation in Interactive Performance
H Space: Interactive Augmented Reality Art
StringTouch - From String Instruments towards new Interface Morphologies
PULSANTE: Integrating Anatomy Lessons into the Artistic Process
A nested APi structure to simplify cross-device communication
Paper Modular Robot: Circuit, Sensation Feedback, and 3D Geometry
Designing Motion Matching for Real-World Applications: Lessons from Realistic Deployments
Breaching barriers to collaboration in public spaces
Antwerp Under Water: The Interdisciplinary Human-Centered Design of an Embodied VR Experience on Climate Change
Expressing Intent: An Exploration of Rich Interactions
Shadowplay: An Embodied AI Art Installation
Touch at a distance for the remote communication of emotions
Learning from the Crackle Exhibition
Co-creation of a Transitional Smart Sculpture for Voice changes
Exploring Effects of Full-body Control in Perspective-based Learning in an Interactive Museum Data Display
ReplayMyPlay: model energy playground
zPatch: Hybrid Resistive/Capacitive eTextile Input
Mechamagnets: Tactile Mechanisms with Embedded Magnets
Visualising and physicalising the intangible product: "What happened to that bloke who designed the marble answer machine?"
Modifying Gesture Elicitation: Do Kinaesthetic Priming and Increased Production Reduce Legacy Bias?
Eyewear to Make Me Smile: Can Electric Muscle Stimulation increase Happiness?
What I grasp is what I control: interacting through grasp releases
Orthorigami: Implementing Shape-Memory Polymers for Customizing Orthotic Applications
Designing a System to Facilitate Intergenerational Story Sharing and Preservation for Older Adults
LivingSurface: Biofeedback through Shape-changing Display
Scoby breastplate: slowly Growing a microbial Interface
The digital dream lab: tabletop puzzle blocks for exploring programmatic concepts
Chasing Tacit Knowledge: Multi-layered Sensing in Woodworking
Talking tangibles: design for peripheral interaction
When Realities Interweave: Exploring the Design Space of Immersive Tangible XR
Tactile Teacher: Sensing Finger Tapping in Piano Playing
AllyBot: Empowering Girls Participation in STEAM
Inoribi: emergence of "windows" and "mirrors"
Upwell: Performative Immersion Hybridizing Two Worlds
Beacon: Exploring Physicality in Digital Performance
Gleamy: An Ambient Display Lamp with a Transparency-Controllable Shade
Shimmering Smartwatches: Exploring the Smartwatch Design Space
Hard and Soft Tangibles: Mixing Multi-touch and Tangible Interaction in Scientific Poster Scenarios
Sensing through structure: designing soft silicone sensors
MuSme: A Tangible Skin Suit for Music Creation
Stick, Click n' Call: self-adhesive pressure-activated RFID tags for mobile phones
Interactive Jewellery: a design exploration
Augmenting Embodied Sensemaking using VR-Enabled New and Unusual perspectives
Swell by Light: An Approachable Technique for Freeform Raised Textures
Situated Apparel: Designing to Reinforce Affective Communication
Sensole: An Insole-Based Tickle Tactile Interface
New technologies for dynamic tattoo art
Feu Autonome Type 189: Untitled, One Dimensional Generative, Reconstructed, Found Object
Seedmarkers: Embeddable Markers for Physical Objects
BYOD - Bringing Your Own Device into Single-Surface Interaction Models
Peace: Projecting Dual-Identities on Interactive Furniture
First Impressions: A Visual Catalogue for Understanding Interactions with Novel Interfaces in Augmented Reality
W41K: digitally augmenting traditional game environments
The conductor's philosophy: embodied generative visual music
Body Maps: A Generative Tool for Soma-based Design
inFORCE: Bi-directional 'Force' Shape Display for Haptic Interaction
Plushbot: an application for the design of programmable, interactive stuffed toys
Steering actors through a virtual set employing vibro-tactile feedback
BacPack: Exploring the Role of Tangibles in a Museum Exhibit for Bio-Design
Osciloscopiando: interactive video-mechanical sculpture
Link me up: hypertext journalism for TEI10 (abstract only)
Kinesthetic Empathy in Remote Interactive Performance: Research into Platforms and Strategies for Performing Online
TetRotation: Utilising Multimodal Analytics and Gestural Interaction to Nurture Mental Rotation Skills
ATSI: Augmented and Tangible Sonic Interaction
Bubble Talk: Open-source Interactive Art Toolkit for Metaphor of Modern Digital Chat
Hypo chrysos: mapping in interactive action art using bioacoustic sensing
MacroScope: First-Person Perspective in Physical Scale Models
AirCraft: Exploring Air as a Design Medium
The BIOdress: A Body-worn Interface for Environmental Embodiment
Sweepcase: (Un)Packing Arbitrary Objects for Tangible Interaction
pegBits: Experimenting with a 0.1" system for open hardware prototyping
Designing Sculpting Light Systems for Information Decoration
The Jam Station: Gamifying Collaborative Musical Experiences Through Algorithmic Assessment
Turning Back to Planet Earth: Defining the Aesthetics of a New Sustainable High-Tech
Designing interactive kinetic surfaces for everyday objects and environments
Bringing Movement to Digital Tasks at the Office: Designing an Acceptably Active Interface Interaction for Sending Emails
Decoupling interaction hardware design using libraries of reusable electronics
'Let's Fake News'
Explicit interaction for surgical rehabilitation
Ekphrasis
Designing tangible programming languages for classroom use
Hybrid Design Tools for Participatory, Embodied Sensemaking: An Applied Framework
LayerPump: Rapid Prototyping of Functional 3D Objects with Built-in Electrohydrodynamics Pumps Based on Layered Plates
Design for Playfulness with Interactive Soft Materials: Description document
A framework for body and movement-based data representations
A tangible interface for browsing digital photo collections
Squeezable Interface for Emotion Regulation in Work Environments
Interactive Infrastructures: Towards a Language for Distributed Interfaces
Prototyping with Monkeys: Uncovering What Buttons for Monkeys Look Like
Pillow-talk: seamless interface for dream priming, recalling and playback
RaveNET: Connecting People and Exploring Liminal Space through Wearable Networks in Music Performance
Augvox: an augmented voice instrument
The design process of a multi-disciplinary tool for developing interactive textiles
Tangible embedded Linux
Designing with Alganyl: A Hands-on Exploration of Biodegradable Plastics
Mole Messenger: Pushable Interfaces for Connecting Family at a Distance
Designing Tangible Tools for the Creation of Personalized Visits by Museum Professionals
Being Meaningful: Weaving Soma-Reflective Technological Mediations into the Fabric of Daily Life
MimiCook: a cooking assistant system with situated guidance
The ThreadBoard: Designing an E-Textile Rapid Prototyping Board
Hands and fingers: a mobile platform for a person-centric network of computational objects
Designing Interactive Olfactory Experience in Real Context and Applications
EMS Painter: Co-creating Visual Art using Electrical Muscle Stimulation
Biomaterial-Based Soft Robotics: Sustainable Alternatives to Vinyl and Silicone for Prototyping Haptic Interfaces
SenseBox: A DIY Prototyping Platform to Create Audio Interfaces for Therapy
Ubiquitous grasp interfaces
Chitosan Biofilm Actuators: Humidity Responsive Materials for Sustainable Interaction Design
Kinetic sketchup: motion prototyping in the tangible design process
Ichiyo: Fragile and Transient Interaction in Neighborhood
Towards a Framework for Tangible Narratives
SENSE-SEAT: Challenging Disruptions In Shared Workspaces Through a Sensor-Based Seat
LiftTiles: Constructive Building Blocks for Prototyping Room-scale Shape-changing Interfaces
Empowering Occupational Therapists with a DIY-toolkit for Smart Soft Objects
Here be monsters!
reacTIVision: a computer-vision framework for table-based tangible interaction
Blob manipulation
Tiglo: Inhabiting Toys Through Expression Mirroring
Tangibly Enhancing Haptics
Hovering and Contact Representation of Laser Contour-Based Hand with Swinging Tablet PC for Distant Communication
Projected interfaces: enabling serendipitous interaction with smart tangible objects
The not-so-masochist teapot
Developing a Tangible Gaming Board for Post-Stroke Upper Limb Functional Training
PaperView: augmenting physical surfaces with location-aware digital information
transFORM - A Cyber-Physical Artefact Augmenting Social Interaction in Residual Public Spaces
Monarch: Self-Expression Through Wearable Kinetic Textiles
Tracking, Animating, and 3D Printing Elements of the Fine Arts Freehand Drawing Process
MagnetiCode: physical mobile interaction through time-encoded magnetic identification tags
MARCut: Marker-based Laser Cutting for Personal Fabrication on Existing Objects
Reclaiming public space: designing for public interaction with private devices
Making From Home: Reflections on Crafting Tangible Interfaces for Stay-at-home Living
The HapticTouch toolkit: enabling exploration of haptic interactions
Loom Pedals: Retooling Jacquard Weaving for Improvisational Design Workflows
Algorithmic Rituals: Participatory and Embodied Explorations of Algorithmic Decision-Making
On interface closeness and problem solving
Workshops in TEI: Development, Evaluation, Exploration, and Implementation: Development, Evaluation, Exploration, and Implementation
Asynchronous Co-Dining: Enhancing the Intimacy in Remote Co-Dining Experience Through Audio Recordings
Water Ball Z: an augmented fighting game using water as tactile feedback
Distributed physical interfaces with shared phidgets
-1D Fabrication: Investigating Decoupling Dimensions of Fabrication Output and Fabrication Machine Size
Designing for and with Intimate (Sexual) Bodies - Towards Feminist and Queer Somatic Understandings of Pleasure
Proceedings of the Eighteenth International Conference on Tangible, Embedded, and Embodied Interaction, TEI 2024, Cork, Ireland, February 11-14, 2024
Enriching Everyday Lived Experiences in Dementia Care
Radical clashes: what tangible interaction is made of
Mix & Match Machine Learning: An Ideation Toolkit to Design Machine Learning-Enabled Solutions
From Prompt Engineering to Prompt Craft
The Sixth Sense: Augmenting Sensory Perception through Critical Design
Designing Wearable Haptic Information Displays for People with Vision Impairments
Designing a Multi-user Interactive Simulation Using AR Glasses
Stitchies: towards telehaptic performativity
Jing Hua: interacting with virtual flowers in a physical garden
Designing Swing Compass with Liveliness: From Personal to Public Interactions
Beyond LED Status Lights - Design Requirements of Privacy Notices for Body-worn Cameras
RoCuModel: an iterative tangible modeling system
[X]Changing Perspectives: Designing a Product Service System for Participatory Sensemaking in Multi- Stakeholder Dynamics around Public Issues
Making Your Makerspace: A Tale of Tension
TEI '22: Sixteenth International Conference on Tangible, Embedded, and Embodied Interaction, Daejeon, Republic of Korea, February 13 - 16, 2022
Think globally, build locally: a technological platform for low-cost, open-source, locally-assembled programmable bricks for education
SuspenderMender - Designing for a Shared Management of Anxiety in Higher Education Context Through a Pair of Wearables Simulating Physical Touch
Body Transformation: An Experiential Quality of Sensory Feedback Wearables for Altering Body Perception
Living interfaces: the thrifty faucet
Cities Unseen: Experiencing the Imagined
Bizarro game controllers studio proposal
Traditional games meet ICT: a case study on go game augmentation
DataChest: a Constructive Data Physicalization Toolkit
RemoteBunnies: multi-agent phenomena mapping between physical environments
TEI '21: Fifteenth International Conference on Tangible, Embedded, and Embodied Interaction, Online Event / Salzburg, Austria, February 14-19, 2021
iNkDraw: physical ink-based interface for capturing and manipulating drawings on digital display
The Screaming Sun: Choreographing Synesthesia
AuxeticBreath: Changing Perception of Respiration
Needle as Input: Exploring Practice and Materiality When Crafting Becomes Computing