yusuke1997/dblp-id-title huggingface dataset:
Preliminary Checklist of Pre-Twentieth-Century Women in Cartography
The Mountain Panorama and Its Significance in the Scottish Context
A Story behind the Map: The Strange Life of Maps and Their Makers
Evaluating Online and Traditional Learning Environments Using Cartographic Generalization Techniques
Mapping Paradise. A History of Heaven on Earth
Proposed Cartographic Design Principles for 3D Maps: A Contribution to an Extended Cartographic Theory
Unobtrusive estimation of psychological states based on human movement observation
Usability Collaborative Evaluation in T-Learning Services: State of the Art
Usability evaluation of Software as Service from Individuals
The choice of complete anonymity versus pseudonymity for aggression online
A Framework for Designers to Support Prospective Design
Experience-Based Learning Using Smartphones: The Explorer Project
Investigating Model-Driven Architecture for Web-based Interactive Systems
Enhancing the Accessibility for All of Digital Comic Books
Application of a Guideline for Design Improvement in Supervisory Control
Exploring Text-based and Graphical-based Usable Interfaces for Mobile Chat Systems
Staying Connected in a Mobile Healthcare System: Experiences from the MediNet Project
Usability of the P300 Speller: Towards a More Sustainable Brain-Computer Interface
End User Development in AmI: a user centered design overview of issues and concepts
Augmented Accessibility: improving accessibility through Mediated Reality and Natural Interaction
Usability Report. Teaching Mathematics with an Augmented Reality-based Game
Usability Report. Testing Natural Interaction-based Applications with Elderly Users
Mind tape technique - a usability evaluation method for tracing cognitive processes in cross cultural settings
Context-Aware Services in Smart Environments
An Emotion Network: Enabling Emotion Sharing Through Social Networking.
Towards a Context Aware Service for Performing Semi-Moderated Remote Usability Studies of Web Sites
Potential benets in the learning process of Ecuadorian Sign Language using a Sign Recognition System
Implicit interaction in Urban Computing Environments: a Vehicle Crash Detection System
Monitoring Daily Energy Expenditure using a 3-Axis Accelerometer with a Low-Power Microprocessor
Usability Report. Gorrion: 3D view of Oviedo using augmented reality
Usability Report. A face recognition based game for users with disabilities
Usability Report 1. Internationalization I18n
Adaptable Web-based user interfaces: methodology and practice
Adaptation of User Interfaces in SOA Applications
Grasp Strategy when Experiencing Hands of Various Sizes
Designing A Smart Shopping-aid System Based on Human-Centered Approach
Usability Report. Planet-AR-ium: The Solar System in your hands
Usability Report 2. Shortcuts
UseMe: Designing Usable Predictive SMS Systems
Haptic Direction Indicator for Visually Impaired People Based on Pseudo-Attraction Force
A natural interaction between the individual and the computer
A GUI for a Software that Analyses a Composite Bolted Joint
Analysing emotional interaction through avatars. A generic architecture.
The Role of Interactive Media Features on the Affective Response: a Virtual Reality Study
Intelligent - Miner: The Conceptual and Architectural Design of a Web Based Data Mining Service
A Fuzzy-based Design Exploration scheme for High Availability Heterogeneous Multiprocessor Systems
A Measurement Based Model for Assessment of User Centred Design Level for Open Source Software Projects
Networks Emerging from Shifts of Interests in Eye-Tracking Records
Play, Game, World: Anatomy Of A Videogame
Coordinating piece movements in a semi-concurrent abstract board game
Plot Control For Emergent Narrative: A Case Study On Tetris
Assessment of Behaviour in Serious Games of Driving Simulators
Video Based Motion Capture System as Intuitive Interface
An Application Of Goms Model To Analyse And Predict Gamer Behaviours In Mmorpg
MHICS: A motional Architecture of Action Selection for Non-player Characters in Dynamic Environments
Dynamic character animations
Component-Based Audio-Video Communication Tool for Network 3D Games
A new method for 3D face model generation for personalized game characters
Playing Texas Hold'em Poker Online Using Case-Based Reasoning
Mission And Rule-Based Approach For Wargame Artificial Intelligence
Collaborative Robot Agents For AIBO Soccer
A Petri Net Model for Computer Games Analysis
Game Based Learning Creating a Triangle of Success: Play, Interact and Learn
A Multiplayer O.P.I.A.T.E
Strategies for solving the N-goal problem
KIMI: Serious Game for IPad to Improve Hygiene Habits In Intellectually Disabled
Adaptive Storytelling Based On Model-Checking Approaches
Improved opponent intelligence trough offline learning
Dynamic Strategy Creation and Selection Using Artificial Immune Systems
The execution kernel of RC++: RETE*, a faster RETE with TREAT as a special case
Socio-constructivist Framegame Design: Theoretical and Empirical Consideration
On-line Adaptation of Game Opponent AI with Dynamic Scripting
GA with Wisdom of Artificial Crowds for Solving Mastermind Satisfiability Problem
Language Improvement System Based on Serious Games and Voice Recognition Algorithms for Children and Teenagers with Autism Spectrum and Lack of Language Competences
Video games in education
Animating Intelligent Games Characters Using Mesh Skinning
Crowd Modelling for Military Simulations Using Game Technology
How to Construct Tetris Configurations
Interactive Narrative Architecture based on Filmmaking Theory
Risk Assessment and Tipping Points
Are We Game? A Study Of The Social Factors And Motivations Behind Video Gaming Amongst Female Undergraduates
Avatar Facial Biometric Authentication
Species Diversity in Evolution of Game Tactics
A novel obsolescence-based approach to event delivery synchronization in multiplayer games
Creating a Design Framework For Educational Language Games: A Hybrid Media Scenario Study
Enhancing the Performance of a Multiplayer Game by Using a Parallelizing Compiler
Bots with attitude
Advergaming - A New Breed of Computer Games
Narrative Time in Video Games
Designing Interactivity in Computer Games: a UML Approach
The Analysis of Friendly NPC Behaviour
Networking and Multiplayer Computer Games - The Story So Far
Sound And Immersion In The First-Person Shooter
Creating socially interactive no-player characters: The µ-SIV system
A Six Dimensional Paradigm for Generating Emotions in Virtual Characters
Solving Sudoku Puzzles with Wisdom of Artificial Crowds
Invincible - A Stratego Bot
Neuro WII: Game As A Treatment For Attention Deficit And Hyperactivity Disorders
Generating Dynamic Storylines Through Characters' Interactions
Tipping Points and Models
The Roles of Spatial Auditory Perception and Cognition in the Accessibility of a Game Map with a First Person View
Game based learning using web technologies
Reinforcement learning and genetic Programming for Motion Acquisition
Influence maps For Facilitating Tactical Engagement Decisions In Real-Time Strategy Games
Psycho-Stimulation Therapy By Tangram Game Using Augmented
Pipeline for Populating Games with Realistic Crowds
On the Effect of Reduced Quality of Service in Multiplayer On-Line Games
Fast Decompression of Textures using Vector Quantisation and Wavelet Decomposition
e-Campus: A Mmorpg Providing E-Services To Campus Users
The QASE API: A Comprehensive Platform for Games-Based AI Research and Education
AI Architectures for Games: A Review of 3D Accelerator Technology
Undecidability of the unification and admissibility problems for modal and description logics
Slanted Canonicity of Analytic Inductive Inequalities
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying
The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory
Translating to Co-Büchi Made Tight, Unified, and Useful
Abstraction in Fixpoint Logic
Convergent approximate solving of first-order constraints by approximate quantifiers
Algebraic Proof Theory for LE-logics
An Implicit Characterization of PSPACE
A Cookbook for Temporal Conceptual Data Modelling with Description Logics
Hypersequents and Systems of Rules: Embeddings and Applications
Durations and parametric model-checking in timed automata
Are Short Proofs Narrow? QBF Resolution Is Not So Simple
Logics of metric spaces
Verifiable agent interaction in abductive logic programming: The SCIFF framework
Variable independence for first-order definable constraints
Bounds for the Quantifier Depth in Finite-Variable Logics: Alternation Hierarchy
Algorithmic analysis of array-accessing programs
Search and strategies in OPL
Automated Generation of Erotetic Search Scenarios: Classification, Optimization, and Knowledge Extraction
Inference of Field-Sensitive Reachability and Cyclicity
Typing Messages for Free in Security Protocols
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games
A Nominal Approach to Equational Problems in Languages with Binders
Reasoning About Substructures and Games
Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency
Propositional computability logic II
Logical relations for a logical framework
Revisiting quantification in autoepistemic logic
PELCR: Parallel environment for optimal lambda-calculus reduction
Collapsible Pushdown Parity Games
1-Safe Petri Nets and Special Cube Complexes: Equivalence and Applications
Extensional equivalence and singleton types
Equivalences among aggregate queries with negation
Succinctness of Order-Invariant Logics on Depth-Bounded Structures
On the complexity of existential positive queries
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
On the Inference of Resource Usage Upper and Lower Bounds
Logical definability and query languages over ranked and unranked trees
The marriage of effects and monads
The Complexity of Phylogeny Constraint Satisfaction Problems
One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
Sound and complete elimination of singleton kinds
Representation results for defeasible logic
Terminating Evaluation of Logic Programs with Finite Three-Valued Models
First-order Logic with Connectivity Operators
Reason-maintenance Belief Logic with Uncertain Information
Fundamental Logic Is Decidable
What causes a system to satisfy a specification?
Eternity variables to prove simulation of specifications
On the Complexity of Probabilistic Abstract Argumentation Frameworks
Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation
Probabilistic agent programs
Deciding security properties for cryptographic protocols. application to key cycles
Disjunction and modular goal-directed proof search
Optimal length tree-like resolution refutations for 2SAT formulas
Testing using CSP Models: Time, Inputs, and Outputs
Differential Hybrid Games
Continuous One-counter Automata
Nonuniform Boolean constraint satisfaction problems with cardinality constraint
An Evaluation-Driven Decision Procedure for G3i
Progression of Decomposed Local-Effect Action Theories
Formalizing Negotiations Using Logic Programming
Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations
Toward a Uniform Theory of Effectful State Machines
Some Subsystems of Constant-Depth Frege with Parity
Logic program-based updates
An n! lower bound on formula size
A tight Karp-Lipton collapse result in bounded arithmetic
Complexity of propositional proofs under a promise
Superposition for fixed domains
Minimum model semantics for logic programs with negation-as-failure
The dynamic complexity of formal languages
Comparing the Expressiveness of the π-calculus and CCS
Logics with counting and local properties
Reflective metalogical frameworks
Witnesses for Answer Sets of Logic Programs
The strength of replacement in weak arithmetic
Why are there so many loop formulas?
Modular Labelled Sequent Calculi for Abstract Separation Logics
Tableau calculus for preference-based conditional logics: PCL and its extensions
On proving left termination of constraint logic programs
Two-Variable Separation Logic and Its Inner Circle
Mechanizing UNITY in Isabelle
A flow calculus of mwp -bounds for complexity analysis
A Semantics for Modal Language Using a Rough Set Model Based on Subset Approximation Structure
Automated termination proofs for logic programs by term rewriting
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
Precongruence formats for decorated trace semantics
Proof search in Hájek's basic logic
A fast algorithm and datalog inexpressibility for temporal reasoning
Finite state machines for strings over infinite alphabets
A Simple Modal Logic for Reasoning in Multigranulation Rough Set Model
A unified semantic framework for fully structural propositional sequent systems
Monadic Datalog, Tree Validity, and Limited Access Containment
A resolution calculus for the branching-time temporal logic CTL
Comprehending software correctness implies comprehending an intelligence-related limitation
Does Treewidth Help in Modal Satisfiability?
Runtime Verification over Out-of-order Streams
Substructural logic and partial correctness
Logics with Multiteam Semantics
Conjunctive query containment and answering under description logic constraints
The Power of the Weak
Computational Complexity Via Finite Types
On (Omega-)regular model checking
Abstract state machines capture parallel algorithms
Predicate abstraction with indexed predicates
How Hard Is Positive Quantification?
Strongly equivalent logic programs
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
Calculus of cooperation and game-based reasoning about protocol privacy
Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
A Meta-theory for Big-step Semantics
Instantiation Schemes for Nested Theories
On compositionality and its limitations
Logics capturing local properties
Improved witnessing and local improvement principles for second-order bounded arithmetic
Automated Equivalence Checking of Concurrent Quantum Systems
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams
A new function algebra of EXPTIME functions by safe nested recursion
Quantifier-free interpolation in combinations of equality interpolating theories
Abstract versus concrete computation on metric partial algebras
Alternating Tree Automata with Qualitative Semantics
Mechanizing the metatheory of LF
Interpolation Results for Arrays with Length and MaxDiff
Arithmetic complexity
Predicate-calculus-based logics for modeling and solving search problems
Concurrent Dynamic Algebra
LTL over description logic axioms
Syntactic Completeness of Proper Display Calculi
Defining functions on equivalence classes
Model and Program Repair via Group Actions and Structure Unwinding
Proposition algebra
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
Reasoning about Quality and Fuzziness of Strategic Behaviors
Information Flow under Budget Constraints
Checking Admissibility Using Natural Dualities
Subatomic Proof Systems: Splittable Systems
Weyl's predicative classical mathematics as a logic-enriched type theory
Unfolding partiality and disjunctions in stable model semantics
Complexity Classifications for Logic-Based Argumentation
Reiterman's Theorem on Finite Algebras for a Monad
Unification and matching on compressed terms
On the completeness of compositional reasoning methods
Logical queries over views: Decidability and expressiveness
Results on the quantitative µ-calculus qMµ
SAT Modulo Symmetries for Graph Generation and Enumeration
Weak alternating automata are not that weak
A First-order Logic for Reasoning about Knowledge and Probability
Context semantics, linear logic, and computational complexity
The Local Universes Model: An Overlooked Coherence Construction for Dependent Type Theories
Optimality of size-degree tradeoffs for polynomial calculus
NEXP TIME-complete description logics with concrete domains
Power and Limits of Structural Display Rules
A logic programming approach to knowledge-state planning: Semantics and complexity
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
On the proof complexity of deep inference
Automatic linear orders and trees
Fixed-parameter complexity of semantics for logic programs
An Assertional Proof of the Stability and Correctness of Natural Mergesort
Arithmetic complexity via effective names for random sequences
Program termination and well partial orderings
Resource control graphs
Logical foundations for more expressive declarative temporal logic programming languages
A counterexample-guided abstraction-refinement framework for markov decision processes
Abstract canonical inference
Topological and Simplicial Models of Identity Types
Undecidability and intractability results concerning datalog programs and their persistency numbers
Lax Theory Morphisms
Syntax-Preserving Belief Change Operators for Logic Programs
Probabilistic game semantics
The geometry of linear higher-order recursion
Robust Vacuity for Branching Temporal Logic
A Subatomic Proof System for Decision Trees
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
Logic programs with propositional connectives and aggregates
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers
On the complexity of the disjunction property in intuitionistic and modal logics
The Complexity of Minimal Inference Problem for Conservative Constraint Languages
Sup-interpretations, a semantic method for static analysis of program resources
Strategic Knowledge Acquisition
Typing streams in the Λµ-calculus
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions
Regular Representations of Uniform TC 0
Differential recursion
Taming Multirelations
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach
Regular tree languages definable in FO and in FO mod
Generalizing consistency and other constraint properties to quantified constraints
A theory of sampling for continuous-time metric temporal logic
Two-variable logic on data words
A dynamic approach to characterizing termination of general logic programs
A new decidability technique for ground term rewriting systems with applications
The formal system lambdadelta
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols
Certainty closure: Reliable constraint reasoning with incomplete or erroneous data
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
Bounds on the automata size for Presburger arithmetic
Effective Interpolation and Preservation in Guarded Logics
Typal Heterogeneous Equality Types
A Model for Phase Transition of Random Answer-Set Programs
Qualitative concurrent parity games
Tractability Frontier of Data Complexity in Team Semantics
A modal logic for mobile agents
Adding Successor: A Transfer Theorem for Separation and Covering
Kleene algebra with domain
Logic of infons: The propositional case
Propositional computability logic I
Safety alternating automata on data words
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
Resource-bounded continuity and sequentiality for type-two functionals
Interaction between path and type constraints
Deductive inference for the interiors and exteriors of horn theories
Simultaneous checking of completeness and ground confluence for algebraic specifications
Inflationary fixed points in modal logic
Sequent calculi for propositional nonmonotonic logics
Semantical characterizations and complexity of equivalences in answer set programming
Modal Resolution: Proofs, Layers, and Refinements
Coordination in answer set programming
Extending the loop language with higher-order procedural variables
Contextual modal type theory
Deterministic generators and games for Ltl fragments
Ramsey-Based Inclusion Checking for Visibly Pushdown Automata
Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs
A logic of nonmonotone inductive definitions
Monadic datalog over finite structures of bounded treewidth
On Hoare logic and Kleene algebra with tests
Generalized Realizability and Basic Logic
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
LICS 2003 special issue
Model-Checking Linear-Time Properties of Quantum Systems
The Logical View on Continuous Petri Nets
Some applications of logic to feasibility in higher types
Higher-order pattern complement and the strict lambda-calculus
A Reversible Perspective on Petri Nets and Event Structures
A classification of symbolic transition systems
Nondeterministic Phase Semantics and the Undecidability of Boolean BI
First-order complete and computationally complete query languages for spatio-temporal databases
Maps between Different Kinds of Two-Level Credibility-Limited Revision Operators
Local Search For Satisfiability Modulo Integer Arithmetic Theories
Correctness and Completeness of Logic Programs
Eager Equality for Rational Number Arithmetic
Locality of order-invariant first-order formulas
Finite-State Map-Reduce Computation and Relational Algebra Queries
Resource-distribution via Boolean constraints
On first-order topological queries
Enumeration of monadic second-order queries on trees
Unifying Operational Weak Memory Verification: An Axiomatic Approach
Interaction Graphs: Non-Deterministic Automata
A general framework for sound and complete Floyd-Hoare logics
An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic
Satisfiability Problems on Sums of Kripke Frames
Reducible Theories and Amalgamations of Models
Fast Query Answering over Existential Rules
On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP Instances
Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
Model Checking a Logic for True Concurrency
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison
Automatic generation of rule-based constraint solvers over finite domains
Parallel Cost Analysis
The tractability of model checking for LTL: The good, the bad, and the ugly fragments
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases
Datalog LITE: a deductive query language with linear time model checking
Idempotent Anti-unification
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
Display to Labeled Proofs and Back Again for Tense Logics
A syntactical analysis of non-size-increasing polynomial time computation
The Complexity of Counting Problems Over Incomplete Databases
Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties
An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
Common Knowledge in Email Exchanges
Dynamic QBF Dependencies in Reduction and Expansion
Small Circuits and Dual Weak PHP in the Universal Theory of p-time Algorithms
Non-finite axiomatizability of dynamic topological logic
Verifying Procedural Programs via Constrained Rewriting Induction
May-Happen-in-Parallel Analysis for Actor-Based Concurrency
About the undecidability of program equivalence in finitary languages with state
DL-Lite Ontology Revision Based on An Alternative Semantic Characterization
Monadic second order logic on graphs with local cardinality constraints
Graph Logics with Rational Relations: The Role of Word Combinatorics
A system of interaction and structure IV: The exponentials and decomposition
A Generalized Realizability and Intuitionistic Logic