yusuke1997/dblp-id-title huggingface dataset:
Addition of Static Aspects to the Intuitive Mapping of UML Activity Diagram to CPN
AJAX Speed Up vs. JSP in Portal - Case Study
Lead Time Prediction Using Simulation in Leather Shoe Manufacturing
Analysis of Significance and Evolution of Co-authorship Networks
Ensemble Neurocomputing Based Oil Price Prediction
The Directed Inference for the Kosinski's Fuzzy Number Model
Internet of Things: Overview, Sources, Applications and Challenges
Reliable Data Transmission for Multi-source Multi-sink Wireless Sensor Networks
Design of a Single Stage Thermoelectric Power Generator Module with Specific Application on the Automotive Industry
Proceedings of the Third International Afro-European Conference for Industrial Advancement - AECIA 2016, Marrakesh, Morocco, 21-23 November, 2016
Optimization of Wind Direction Distribution Parameters Using Particle Swarm Optimization
Indoor Localization Using Improved Multinomial Naïve Bayes Technique
Synthesis and Implementation of Timed Distributed Supervisory Controller: Application to an Automated Manufacturing System
Adaptive Educational Games Using Game Metrics
An ICT Solution for Shared Mobility in Universities
Prediction of Football Match Results in Turkish Super League Games
Exploratory Data Analysis of Software Requirements Using Statistics and Kohonen's Self-Organizing Map
Semi-automated System for Cup to Disc Measurement for Diagnosing Glaucoma Using Classification Paradigm
New Strategy for Remote Practical Works in Power Electronics for Embedded Systems: Application in EOLES European Project
Optimization of Closed-Loop Poles for Limited Control Action and Robustness
Contribution on Character Modelling for Handwritten Arabic Text Recognition
A Game Theoretic Approach for Optimal and Secure Routing in WSN
Utilizing Text Similarity Measurement for Data Compression to Detect Plagiarism in Czech
Preliminary Study on the Randomization and Sequencing for the Chaos Embedded Heuristic
Fish Growth Performance Classification Based on Ammonia Concentrations
Solar Power Production Forecasting Based on Recurrent Neural Network
Afro-European Conference for Industrial Advancement - Proceedings of the First International Afro-European Conference for Industrial Advancement, AECIA 2014, Addis Ababa, Ethiopia, 17-19 November 2014
Using Kazakh Morphology Information to Improve Word Alignment for SMT
New Multi-criteria Decision-Making Based on Fuzzy Similarity, Distance and Ranking
Generation of High Resolution Medical Images Using Super Resolution via Sparse Representation
Feature Subset Selection Approach by Gray-Wolf Optimization
Two Methods of Hybrid Adaptive Control Applied on Nonlinear Plant
Algebraic Identification Approach of Multiple Unknown Time-Delays of Continuous-Time Linear Systems
Arabic Font Recognition Based on Discret Curvelet Transform
SAM: Scalable Addressing Mechanism for Structured P2P Networks
Hybrid Metaheuristic to Solve the Selective Multi-compartment Vehicle Routing Problem with Time Windows
Detection of Finger Flexions Based on Decision Tree
Graph Drawing Using Dimension Reduction Methods
Comparative Assessment of Temperature Based ANN and Angstrom Type Models for Predicting Global Solar Radiation
Towards a Model-Based Development Methodology for Evolvable Production Systems - A Domain-Specific Modeling Approach
Particle Swarm Optimizer with Diversity Measure Based on Swarm Representation in Complex Network
Software Process Resource Utilization Simulation Using CPN
Thermal Analysis, Design and Experimental Investigation of Parabolic Trough Solar Collector
Adaptive Methods of Process State Evaluation: The Development of an Application for Engineering Purposes
Method for Estimation of Software Requirements Using Neural Network Based Classification Technique
Application of Naïve Bayes in Classification of Use Cases
Wolf Local Thresholding Approach for Liver Image Segmentation in CT Images
Checking the Compliance of Business Processes and Business Rules Using OWL 2 Ontology and SWRL
Optimization of the Training Symbols for Minimum Mean Square Error Equalizer
Maximizing the Delivery Rate for DTN Networks
Big Data Pre-processing Techniques Within the Wireless Sensors Networks
A Novel Ant Colony Optimization Based Cryptanalysis of Substitution Cipher
Visual Quality Improvement of Color-Embedded Gray Images for a Reversible Color-to-Gray Algorithm
Automated Computer Aided Detection of Cataract
Generic Obstacle Detection for Mobile Devices Using a Dynamic Intermediate Representation
Proceedings of the Second International Afro-European Conference for Industrial Advancement, AECIA 2015, Villejuif (Paris-sud), France, 9-11 September 2015
Application of a Double-Impact-Element for Vibrations Attenuation of a Machine Mounted on Nonlinear Support
Software Defined Stochastic Model for Moving Target Defense
Improving the Speed and Quality of Extreme Learning Machine by Conjugate Gradient Method
Fetal Risk Classification Based on Cardiotocography Data: A Kernel-Based Approach
An Efficient Segmentation Algorithm for Arabic Handwritten Characters Recognition System
Multi-level Significant Bit (MLSB) Embedding Based on Weighted Container Model and Weighted F5 Concept
Dialogue Systems: Modeling and Prediction of their Dynamics
A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling
Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995
Improving User Interface Usability Using Mobile Agents
Towards User Interfaces for Rapid Prototyping from Algebraic Specifications
The Role of Informal Representations in Early Design
An Open-Model-Based Interface Development System: The Teallach Approach
Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums
From text to Petri Nets: the difficulties of describing accident scenarios formally
History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation
Derivation of a Dialog Model from a Task Model by Activity Chain Extraction
Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applications
Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems
Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1
Evaluating and Comparing Interaction Styles
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Verifying the Behaviour of Virtual Environment World Objects
Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour
A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules
Establishing a link between usability and utility: validation of a task-based dialogue using a semantic prototype
Moving between Contexts
Working group 2 report
Applying a Structured Method for Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case Study
An Ontology for Task World Models
ReWiRe: Designing Reactive Systems for Pervasive Environments
A Tool-supported Approach to the Refinement of Interactive Systems
ISML: An Interface Specification Meta-language
Human Factors in Aeronautics
Cascading Dialog Modeling with UsiXML
GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems
Mixed-Fidelity Prototyping of User Interfaces
A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications
Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism
Reusable structures in task models
Interaction, Cognition and Visualization
Task Modelling for Context-Sensitive User Interfaces
Automatic Critiques of Interface Modes
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System
Modelling Direct Manipulation Using Referent and Statecharts
Modelling and Generation of Graphical User Interfaces in the TADEUS Approach
Matching technology to people for telepresence
Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications
An Empirical Study of Personal Document Spaces
Specification-Based Testing of User Interfaces
The Evaluation of User Interface Notations
Toward Quality-Driven Development of 3D Computer Games
Task and Object-Oriented Development of Interactive Systems - How many models are necessary?
Systematic Analysis of Control Panel Interfaces Using Formal Tools
Investigating System Navigation Ergonomics through Model Verification
Addressing Marketing Requirements in User-Interface Design for Multiple Platforms
User Interface Declarative Models and Development Environments: A Survey
Contextual Design of a Computer-Supported Film Set: A Case Study
Understanding Direct Manipulation Interaction Algebraically
DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems
The BOSS-System: Coupling Visual Programming with Model Based Interface Design
Reports from Working Groups: Towards a Taxonomy for Interactive Graphics Systems
Design Assistance for User-Adapted Interaction
Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis
Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levels
Folding Human Factors into Rigorous Development
Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors
Canonical Abstract Prototypes for Abstract Visual and Interaction
The Role of Verification in Interactive Systems Design
Model-Based Design of Speech Interfaces
HOPS: A Prototypical Specification Tool for Interactive Systems
Requirements for the Next Generation of User Interface Specification Languages
A Toolkit of Mechanism and Context Independent Widgets
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications
Retrospective and Challenges for Model-Based Interface Development
Workspaces: A Multi-level Architectural Style for Synchronous Groupware
SUIT - Context Sensitive Evaluation of User Interface Development Tools
Interactors and Haggis: Executable specifications for interactive systems
An Attentive Groupware Device to Mitigate Information Overload
An Ontological Approach to Visualization Resource Management
A Model-Based Approach to Supporting Configuration in Ubiquitous Systems
Architecture Considerations for Interoperable Multi-modal Assistant Systems
Using Task Knowledge to Guide Interactor Specifications Analysis
Formal aspects of task based design
Usability Design - Extending Rational Unified Process with a New Discipline
Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy
Executable Models for Human-Computer Interaction
Integrating Joint Behaviour and Dialogue Description
Unifying toolkit programming layers: a multi-purpose toolkit integration module
A Formal Design for Mutually Composed Multiple Media in Presentations
Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control
Supporting Error-Driven Design
Graphic Rendering Considered as a Compilation Chain
Test of the ICARE Platform Fusion Mechanism
Using Model Checking for the Automatic Validation of User Interface Systems
The notion of trajectory in graphical user interfaces
Architectures for Widget-Level Plasticity
Exploring the Specification of Haptic Interaction
Calligraphic Interfaces: Mixed Metaphors for Design
Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzer
Object-Oriented Modelling and Specification for User Interface Design
A Model-based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge
Formalising Performative Interaction
Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications
Verification of Interactive System Using Algebraic Specification
Towards Usability Evaluation for Smart Appliance Ensembles
Modelling in action
Reasoning about Interactive Systems with Stochastic Models
Goal-Oriented Design of Domain Control Panels
Modelling Interactive Systems and Providing Task Relevant Information
MIKE: A Multimodal Cinematographic Editor for Virtual Worlds
Using TRIO Specifications to Generate Test Cases for an Interactive System
Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces
Specification and Verification of Media Constraints using UPAAL
Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium
Working Group 2 Report
Model-Based User Interface Design Using Markup Concepts
Natural Modelling of Interactive Applications
From a Formal User Model to Design Rules
Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations
Why are Analogue Graphics and Natural Language both Needed in HCI?
Working Group Discussions: Users
Task Model Refinement with Meta Operators
An Investigation into the Validation of Formalised Cognitive Dimensions
Interaction and Task Requirements
Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings
Towards a Systematic Building of Software Architectures: the TRIDENT Methodological Guide
Task Modelling in Multiple Contexts of Use
Pattern Languages as Tool for Discount Usability Engineering
Design, Specification and Verification of Interactive Systems'99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999
Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System
Adaptive User Interface for Mobile Devices
Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach
Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML
Modelling Interaction Properties for Interactive Case Memories
Reports from Working Groups: The Challenge of Time
Monitoring Human Faces from Multi-view Image Sequences
Usability properties in dialogue model
Working Group 1 Report
A Model-Based Design Process for Interactive Virtual Environments
Towards Characterizing Visualizations
Modelling Dynamic Group Behaviours
Investigating the behaviour of PREMO synchronizable objects
A Framework for the Combination and Characterization of Output Modalities
Describing Just-UI Concepts Using a Task Notation
Higher-Order Task Models
A representational approach to the specification of presentations
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations
Validating Properties of Component-based Graphical User Interfaces
Future Challenges of Model-Based Design
A Framework for Precise, Reusable Task Abstractions
Discussion Topics for the DSV-IS'98 Working Groups
Do interactive systems need specifications?
The Role of Formal Proof in Modelling Interactive Behaviour
Refinement of the PAC model for the component design and specification of television based interfaces
Resources for Situated Actions
Grammar-based Formal Specification for the Object-Oriented User Interface Development
Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces
Improving Mouse Navigation - A Walk through the "Hilly Screen Landscape"
Model-Based Electronic Performance Support
Presentation Models by Example
Processes: Working Group Report
Reasoning about Dynamic Information Displays
Using Data Flow Diagrams for Supporting Task Models
Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model
A Method for the Verification of Haptic Algorithms
Utilizing Dynamic Executable Models for User Interface Development
Toward More Understandable User Interface Specifications
Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems
A Human-Computer Collaboration Paradigm for Bridging Design Conceptualization and Implementation
Heuristic Evaluation of Website Attractiveness and Usability
Specifying Temporal Behaviour in Software Architectures for Groupware Systems
Contrasting Models for Visualization (Seeing the wood through the trees)
The viability of modelling socially organised activity
A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
Fusion Engines and Melting Pots
Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering
A Framework for Generating Spatial Configurations in User Interfaces
Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces
Validity and Cross-Validity in HCI Publications
Dialogue Validation from Task Analysis
Formal transducers: Models of devices and building bricks for the design of highly interactive systems
Risk Analysis, Impact and Interaction Modelling
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems
On biasing behaviour to the optimal
Blending Descriptive and Numeric Analysis in Human Reliability Design
Monolingual, Articulated Modeling of Users, Devices, and Interfaces
Model-Based Design of Adaptive User Interfaces through Connectors
Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Combining Formal Techniques and Prototyping in User Interface Construction and Verification
Applying Extended Finite State Machines in Software Testing of Interactive Systems
Specifying and Reasoning About CSCW
Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology
Validating Semi-Formal Specifications of Interactors as Design Representations
User Experience and the Idea of Design in HCI
Formally verifying interactive systems: A review
On the Expression of Interaction Properties within an Interactor Model
An XML-Based Runtime User Interface Description Language for Mobile Computing Devices
Investigating Annotation in Electronic Paper-Prototypes
Exploring Design Options Rationally
Evaluating the Interfaces of Three Theorem Proving Assistants
Collaborative Social Structures and Task Modelling Integration
Functionally Modeled User Interfaces
Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers
Abstract Interpretation and Application to Interactive System Verification
A Middleware for Seamless Use of Multiple Displays
Questioning the Foundations of Utility for Quality of Service in Interface Development
Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices
Device Models
Working Group Discussions: Role of Formalisms
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B
Supporting Resource-Based Analysis of Task Information Needs
A Navigation and Registration System for Mobile and Augmented Environments
Supporting Values Other Than Usability and Performance Within the Design Process
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces
Modeling and Analyzing Human-Computer Dialogues with Protocols
User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics
Cross-contextual reference in human-computer interaction
Deriving Business Object Definitions from User Work Process Models
Evaluating narrative in multimedia
User Centred System Modelling using the Template Model
Bridging the Gap from Conceptual Design to Software Design
Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing
An analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality
DMVIS: Design, Modelling and Validation of Interactive Systems
Rapid User-Centred Evaluation for Context-Aware Systems
Formal Modelling of Cognitive Interpretation
Lightweight Coding of Structurally Varying Dialogs
A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems
Flexibility Mapping Synchronous Groupware Architectures to Distributed Implementations
Reports from Working Groups: User and Task Modelling
The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses
An Approach to Develop User Interfaces with Plasticity
LADA - a logic for the Analysis of Distributed Actions
Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Working group 3 report
Haptic Interactions in the Real and Virtual Worlds
A Taxonomy for Migratory User Interfaces
User Interface Conceptual Patterns
Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers
A Tool Suite for Integrating Task and System Models through Scenarios
Proving the Correctness of Formal User Interface Specifications
Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain
A Review of XML-compliant User Interface Description Languages
Formal Specification Techniques for Interactive Systems
Modelling and Analysing Connectivity in an Audio-Visual Communications System
Multi-fidelity User Interface Specifications
Towards a Library of Workflow User Interface Patterns
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Designing User Interaction for Face Tracking Applications
Modelisation of co-operative work
A Uniform Approach for Specification and Design of Interactive Systems: the B Method
The interactive specification workspace: Specifying and designing the interaction issues of virtual reality training environments from within
Visual Design of User Interfaces by (De)composition
Temporal Patterns for Complex Interaction Design
The Design of Narrative Virtual Environments
Practical Dialogue Refinement
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
Affordance and Symmetry
Inference and Information Resources: A Design Case Study
Usability and Computer Games: Working Group Report
Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO
Four Different Measures to Quantify Three Usability Attributes: 'Feedback', 'Interface Directeness' and 'Flexibility'
Combining Compound Conceptual User Interface Components with Modelling Patterns - A Promising Direction for Model-Based Cross-Platform User Interface Development
Analysis of Pointing Tasks on a White Board
Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets
COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces
Design, Specification and Verification of Interactive Systems'98, Supplementary Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom
Interacting in chaos
Task Model Simulation Using Interaction Templates
PAC-ing the architecture of your user interface
Concept Analysis as a Formal Method for Menu Design
A Software Demonstrator of Modality Theory
Which widgets? deriving implementations from user-interface specifications
Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties
Towards Hybrid Interface Specifications for Virtual Environments