yusuke1997/dblp-id-title huggingface dataset:
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?
Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness
Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
Working group 1 report
Reports from Working Groups: Role of Verification
A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases
Notational Support for the Design of Augmented Reality Systems
Working Group Discussions: Role of Development Environments
Structuring Interactive Systems Specifications for Executability and Prototypability
Discussion topics for the DSV-IS'99 working groups
Towards Uniformed Task Models in a Model-Based Approach
Revising Mental Models to Accomodate Expectation Failures in Human-Computer Dialogues
Analysing User Deviations in Interactive Safety-Critical Applications
Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems
Towards Model-Driven Development of Staged Participatory Multimedia Events
Ambience and Mobility
Wisdom - A UML Based Architecture for Interactive Systems
More Precise Descriptions of Temporal Relations within Task Models
A Model of User Processing and Knowledge Deployment During Display-Based Learning
Prototyping Device Interfaces with DSN/2
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems
Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis
How Do Developers Meet Users? - Attitudes and Processes in Software Development
Mapping ConcurTaskTrees into UML 2.0
Specifying Multiple Time Granularities in Interactive Systems
Migratable User Interface Descriptions in Component-Based Development
Users as rational interacting agents: formalising assumptions about cognition and interaction
The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results
Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge
Physics guided machine learning for multi-material decomposition of tissues from dual-energy CT scans of simulated breast models with calcifications
High Performance Computing for Imaging 2023, San Francisco, CA, USA, January 15-19, 2023
Towards real-time formula driven dataset feed for large scale deep learning training
Clinical validation of rapid GPU-enabled DTI tractography of the brain
WearMask: Fast in-browser face mask detection with serverless edge computing for COVID-19
AI-assisted automated workflow for real-time x-ray ptychography data analysis via federated resources
Typical Problems with Event Loggers
Bimodal Approach to Nonverbal Auditory Cognition of Schemata in Classical Music
Conceptual Modeling of Time-Varying Information
Turing Machine on Vocabulary {0, 1} for Counting Visits on a Web Site
A Step towards the Requirements Model Metric Suite
Developing an Agent-Oriented Emergency Service System with AUML and Gaia Methodology
Coop-MT: A Transaction Model for Management of Cooperative Mobile Transactions
Graphical User Interface Design using Genetic Algorithms
Protecting the Privacy of Users in e-Commerce Environment
On Improvement of Classification Accuracy for Stochastic Discrimination - Multi-class Classification
Designing a Set of Training Images for a Model - Reference Neural Network System to Obtain the Optimized Laser Modulation Templates of Laser Printers
Research on the Scenario-based Object-oriented System Analysis and Design Methodology
A Voice Dictation System for a Million-Word Czech Vocabulary
Identifying the Domain of Software Engineering
Multiagent System for Guitar Rhythm Simulation
Reproducibility Analysis in a Human Brain Image Database System
A JXTA-based architecture for 3D distributed visualization: D3D
A Study on Classification of EEG Signals by Error Back Propagation
Application of a Revised NOC Metric to Redesign an OO Design
Formal Specification of Business Rules using Z
Optimal Message Routing in a Distributed Double Loop Network with Faulty Nodes and Links
An Interactive System for Association Rule Discovery for Life Assurance
A New Adaptive Algorithm for Formant Tracking
Integration and Exploitation of SLA Management Data using the DIRECT Metadata Management Framework
Outbound Intrusion Detection
Formal Proofs for Fuzzy Logic Based Communication Scheduling Policies
Earthquake Risk Assessment and Its Information Management
The Analysis for the Characteristics of the Time Series Signals with Genetic Algorithms
Speech Recognition Supported by Camera Lips Reading
A General Efficient 2D DCT Solution
Automatic U.S. Vehicle License Plate Extraction and License Number Splitting Under Various Illumination Conditions
Constrained Optimization Approach for 3D Human Brain Image Segmentation
Object-Oriented Virtual Terrain Modeling: Storage & Retrieval Performance Issues
An Efficient Treatment of Modifiers in Database Semantics
Satellite Image Classification: A Comparative Study Between Neural Network And Maximum Likelihood
The Research of Automatic Diagnosis for Patellar Tracking Mechanism of Knees
QoS-ADAPT - a QoS Aware Architecture for Distributed Components
WWW-based distance education course "Management Support Systems"
YinYang Bipolar Cognitive Mapping and Bipolar Cognition
Design of Business Process Re-Engineering in a Purchasing Management Through Business Process Simulation
Using Correlation Detection for IMA-IDS Architecture
Permutation Genetic Algorithms for Score-Based Bayesian Network Structure Learning
Case-Based driven naïve Bayes classifier
Research on the Mapping between Graphical and Solid User Interfaces - Using Portable Media Player as an Example
On the Idea of Soft Systems Methodology for IS Development: A Perspective Based on Purposeful Action
Parametric Feature Recognition and Surface Construction from Digital Point Cloud Scans of Mechanical Parts
Routing Protocols Security Toward a Generic Model?
Enhanced Simulation Techniques for Short Wavelength Pulses Propagation Through Acoustic-Solid Media
Performance Evaluation of a Multi-Agent Framework for Multiple Document Processing
Implementation and Generation of a Correlated Terrain Database for Driving Simulation
Learning to Predict Life and Death with ANN in Computer Go
Delegation Active Certificates: Protocols and Privilege Management
On the Application of Petri Net Supervisory Controllers in Dynamic Reconfiguration of Medical Emergency Resources
A Computationally Aware Vertex Solution for Stability Check Of Families of Linear State Space Systems
Virtual Surgical Simulation with Tactile Sensation for Neurosurgery Operation by Volume Graphics
The Long-distance Engine Fault Diagnosis by Virtual Instrument Founding on MKDE
Evolutionary Operators on Neural Networks Architecture
On-Demand Swithing Running Mode of Application Programs
An XNOR-based Double-edge-triggered Flip-Flop for Two-phase Pipelines
Predictable Fine-Grained Cache Behavior for Enhanced Simultaneous Multithreading (SMT) Scheduling
Representation and Analysis of Mobile Computing using TeleLog - A Mobile Logic Language
S-DAGs: Towards Efficient Document Repair Generation
To Combine Information System and Artificial Intelligence Tools for Product Design Assistance
A Unified Framework for Simulating Object Interaction and Object Deformation
An Investigation of Small Screen Interface Icons of Mobile Devices
Semantic Extensions to Domain-Specific Markup Languages
An approach to text categorization with SVM and visualization aided decision
Bio-inspired Fault Tolerant and Adaptive System Modeling and Simulation on the Grid
A Focus on Improving Knowledge Worker Performance
The Research of Storage Management and Address Mapping Mechanism in UCard
Training feedforward neural networks using neural networks and genetic algorithms
A Software Process Improvement Roadmap for the ISO 9000 Registered Software Organizations
Using Desktop Recording Software to Bridge the Temporal and Physical Gap outside the Classroom in an Effort to Facilitate Computer Skills Instruction between Class Meetings
Research related to imitation behavior using a consciousness machine
Agent-based Templates for Implementing Proactive Real-time Systems
Assistance in Selecting KDD Algorithms
Semantic Similarity for Adaptive Exploitation of Inter-Query Learning
Certificate Authority using Multiple Signing Keys against Signature Scheme Compromised
Study of Fault-Tolerant Storage Subsystems for Video-on-Demand Servers
Statistical Outlier Detection Algorithm for Computer Network Security
HUNI: Music Retrieval by Humming using Autocorrelation, Viterbi Algorithm and Approximate String Matching
Recognition of Low Quality Gray Character Image Using Gabor Direction Features
Simulation Of "Remote Processing"
MOSFET Mathematical Model Parameter Extraction
Formal infrastructure of multiagent system specified by Agent UML and Petri Nets
An Innovative Model to Maximize, Improve, and Enforce Learning in Academia Using a Self-Motivating and Collaborative Approach
Using an ANFIS-Architecture to calculate the Capability of Production in order to Quantify Uncertainties within Production Processes
Analysis and Synthesis of Birds Calls Using Harmonic Plus Noise Model
Cyber Theater Scenario Language: CTSL and Creative Lesson
A Wrapper-based Object Caching in CORBA
Streamlined Software Development in the Computer Science Capstone Course 'Senior Projects'
FROG: Face Recognition via Multimedia Messaging
Strategies for Reducing Coupling in Object-Oriented Design
The theory of BSCM on the Chinese natural language understanding
Path Planning of Robot Motion for Piano Mover's Problem on Raster
A Queueing Model with Data and Resource Contentions for Analysis of Two-Phase Locking
Organization Readiness for ERP Implementation: It Takes More than One for the Ride
Using Model-Based Testing to Assess Smart Card Interoperability Conformance
Data Analysis - Turning data into knowledge using data cubes and Microsoft Excel
Proceedings of the 2nd International Conference Computing, Communications and Control Technologies, CCCT 2004, Austin, TX, USA, August 14-17, 2004, Volume 2
An Open Architecture for the Dynamic Integration of Biological Data Sources
The New Method for Solving a Multi-commodity Nonlinear Flow Problem
Assessing and Quantifying Attributes of Product Line Architectures
The Web Proxy Location Problem in the Tree Networks
Research on Convergence Control and Reduction of Eye Fatigue
Concurrent Shape Optimization of Structural Components
Unforgeable RFID Variable ID Scheme with Efficient Identification
An Extension of Estimates Based on UCP Attending the Necessities of SW-CMM level 2
An Improved Digital Watermarking Algorithm Based on HVS and SVD
Calculation of the Optimal Degree of Multiprogramming of a Central Server with two Processors
Multimodal Integration of Haptics, Speech, and Affect in an Educational Environment
MOSFET Analytical Substrate Current Model for Circuit Simulation
Proceedings of the 2nd International Conference Computing, Communications and Control Technologies, CCCT 2004, Austin, TX, USA, August 14-17, 2004, Volume 1
An Intelligent System for Monitoring Grounding Grids of Electric Power System
An IT-based solution for management of social complexity in competence cells networks
QBEO: Query By Example over Ontologies Framework
Combining Intelligent Computing and Communications on the Example of MASACAD
Team Organization through Creative Thinking
An Edge-Based Adaptive Post-Processing Technique For Cosine Transform Coded Images
SINBAD: Towards an Implementation-Independent Hidden-Variable Discoverer
Mesh Adaptation Strategies for Discontinuous Galerkin Methods Applied to Reactive Transport Problems
Interaction with Music Information Systems using Modular Trackers
A Novel Grounding Fault Location System for Radial Feeders
An Approach Towards a Wrapper-based Architecture for Mapping COM Servers in MOF Framework
Study on Reverse Logistics System Using Mobile Agent
Random Simulation of the Nanostructures Conformations
(RT)-T-3: Radioactive-Retardation-Reaction-Transport-Program for the Simulation of Radioactive Waste Disposals
The Significance of the modern Information- and Communication Technology for the Production in networked Structures from an organization-theoretical Perspective
A New Fault Dictionary Method for Diagnosis of Tolerance Circuit
Research on the Foundation Protocols of UCard
Design and Implementation of a Human-Centered Expert System for Strategic Planning
Cryptographic Guarding of Data in the Distributed Information Measurement System
A Design for Knowledge Discovery Decision Support Systems (KD-DSS) with Spatio-Temporal Data
A Novel Parametric Adaptive CFAR Scheme for Airborne Radar
From Bipolar Logic to Bipolar Informatics
NTLM and Kerberos Performance in Windows 2000 Domains
Scalable Cluster Architectures for Wireless Internet Proxy Servers
Research On Cognitive Biology Based Algorithm for Mining Time-Series Data
Reverse Engineering C++ Software System - Starting From Code to Design Information and Design Patterns
The Computer Modelling of Kinematic Linear Surfaces (Based on Complex Moving of a Cone along a Torse)
Parallel Mining Association Rules with Bit String Array and Its Application in Power System
Determinants of the Information System Outsourcing Decision Applying a Quantitative Model to reach the decision
Building and Proving Correctness of Programs using Discrete Dynamical Systems
Team-oriented Agents for Training Command and Control Teams
Development Aspects of the Harmony Environment for Multi-Notational Software Specification
The New Nürnberger Trichter Version 2.0 or Whatever Happened to the Learning Machine
Functional Transformation Systems
Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming
Theorem Proving and Programming with Dynamic First Order Logic
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL
Constructive negation without subsidiary trees
Learning functional logic classification concepts from databases
Functional features of a calculus for logic and concurrency
SOS Rules for Equivalences of Reaction Systems
Enhancing POI Testing Through the Use of Additional Information
List-Processing Optimizations in a Multi-Paradigm Declarative Language
Constraint-Logic Object-Oriented Programming with Free Arrays
Server Side Web Scripting in Curry
A Graphical Environment for Functional Logic Languages
An abstract machine based experimental system for a lazy narrowing calculus
Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions
The role of induction in (semi-)automated software life-cycles
Types for Role-Based Access Control of Dynamic Web Data
Cooperative Constraint Functional Logic Programming
Runtime Verification in Erlang by Using Contracts
Strong and NV-sequentiality of constructor systems
Integrating ILOG CP Technology into TOY \mathcal{TOY}
Proof-Theoretic Foundation of Hypothetical Reasoning
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs
Bridging the Gap between Two Concurrent Constraint Languages
11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002
Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming
On the Performance of Bytecode Interpreters in Prolog
Higher-order Lazy Narrowing Calculi in Perspective
Programming with Multiple Paradigms in Lua
Implementing an Object Oriented Design in Curry
9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000
Synthesizing Set Functions
Constraint Based Strategies
Functional Beans
Using PE to Automate Program Composition
FMS: Functional Programming as a Modelling Language
Compiler Construction in a Functional Setting
Petri Nets, Flat Languages and Linear Arithmetic
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Logic Java: Combining Object-Oriented and Logic Programming
Advantages of using Functional Languages in specifying GIS operations
Transpiling Programming Computable Functions to Answer Set Programs
Logic Programming and Functional Nets
Semantic Labelling for Proving Termination of Combinatory Reduction Systems
Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
Partial Predicates for Demand Analysis
Adding Linear Constraints over Real Numbers to Curry
Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming
Functional Specifications of Multilevel Highway Navigation
XQuery in the Functional-Logic Language Toy
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007
International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers
A Functional Approach to Complex Retrieval Tasks
A Functional Approach to Worst-Case Execution Time Analysis
Realistic Program Specialization in a Multi-Paradigm Language
Symbolic program execution using the Erlang verification tool
Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Size Invariant and Ranking Function Synthesis in a Functional Language
Memoized Pull-Tabbing for Functional Logic Programming
On the Role of Functional-logic Languages for the Debugging of Imperative Programs
Expansion Postponement Problem for Pure Type Systems with Universes
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs
A Higher-Order Programming Language with Constraints
Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006
Measuring Coverage of Prolog Programs Using Mutation Testing
Transforming Functional Logic Programs into Monadic Functional Programs
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
KiCS2: A New Compiler from Curry to Haskell
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008
The Use of Functional and Logic Languages in Machine Learning
Formally Verified Transformation of Non-binary Constraints into Binary Constraints
Redundant arguments in infinitary rewriting
A Framework for Generating Diverse Haskell-I/O Exercise Tasks
The Reflective Design of Maude's Module Algebra
Constraint Propagation on Multiple Domains
A Simple Region Inference Algorithm for a First-Order Functional Language
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
New Functional Logic Design Patterns
Functional Federated Learning in Erlang (ffl-erl)
Efficient and Compositional Higher-Order Streams
Functional Notation for Indexed Concepts
12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003
Memoizing a Monadic Mixin DSL
New Results on Type Systems for Functional Logic Programming
Optimizing Eden by Program Transformation
An Access Control Language Based on Term Rewriting and Description Logic
Effectiveness of Annotation-Based Static Type Inference
Markup Languages for Functional-Logic Programming
Parameterized Models for On-Line and Off-Line Use
Lazy and Enforceable Assertions for Functional Logic Programs
Redundancy Analyses in Term Rewriting
Equationally Expressed Evaluation
A Taxonomy of Some Right-to-Left String-Matching Algorithms
Combining Event Calculus and Description Logic Reasoning via Logic Programming
Iterative Dialogue and Automated Proofs
Taming the Complexity of Temporal Epistemic Reasoning
Towards Cooperative Interval Narrowing
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
Symbolic Model Construction for Saturated Constrained Horn Clauses
Towards an Automatic Analysis of Web Service Security
Generalising Propositional Modal Logic Using Labelled Deductive Systems
A Modular Approach to Proving Confluence
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors
Combining Relational Algebra, SQL, and Constraint Programming
Data-Driven Runtime Complexity Analysis
The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞 ME
The Concrete Evonne: Visualization Meets Concrete Domain Reasoning
Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case)
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models
Weighted Path Orders Are Semantic Path Orders
Finitariness of Elementary Unification in Boolean Region Connection Calculus
Combining Superposition and Induction: A Practical Realization
On Forward Closure and the Finite Variant Property
Axioms vs. Rewrite Rules: From Completeness to Cut Elimination
A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
Term Rewriting with Logical Constraints
A Comprehensive Framework for Combined Decision Procedures
Combining WS1S and HOL
A Temporal Logic of Robustness
A Compressing Translation from Propositional Resolution to Natural Deduction
On the Expressivity and Applicability of Model Representation Formalisms
Witness Runs for Counter Machines
Shininess, Strong Politeness, and Unicorns
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems
Putting ABox Updates into Action
Integrating Lists, Multisets, and Sets in a Logic Programming Framework
Combining Solvers in a Meta Constraint Logic Programming Architecture
The Dependently Typed Higher-Order Form for the TPTP World
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings
Combination of Isabelle/HOL with Automatic Tools
Languages Modulo Normalization
Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises
Optimisation Techniques for Combining Constraint Solvers
Definability of Accelerated Relations in a Theory of Arrays and Its Applications
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets
The Complexity of Reversal-Bounded Model-Checking
Axiomatization and Completeness of Lexicographic Products of Modal Logics
First-Order Constrained Lambda Calculus
The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is Decidable
An Efficient Decision Procedure for UTVPI Constraints
Proofs and Reconstructions
A Finite Abstraction of Real-Valued Functions for Complete Reasoning About Influence
Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning
Combining Proof-Producing Decision Procedures
Integrating Constraint Solving into Proof Planning
Expressing Polymorphic Types in a Many-Sorted Language
Membership-Constraints and Complexity in Logic Programming with Sets
Integrating BDD-Based and SAT-Based Symbolic Model Checking
Semantic Forgetting in Expressive Description Logics
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
KBO Constraint Solving Revisited
Unification and Matching in Hierarchical Combinations of Syntactic Theories
Temporalizing Description Logics