yusuke1997/dblp-id-title huggingface dataset:
Development of a Website to Illustrate UM-D's Low Mass Vehicle Design
An Inquiry into Spatial Essence of Architectural Features through Computer-Aided Abstraction
An X3D Framework for Developing Adaptive Virtual Environments
A Parametric Model for Automotive Packaging and Ergonomics Design
Simplified Muscle Dynamics for Appealing Real-Time Skin Deformation
Automatic Features Characterization from 3D Facial Images
A Driver Interface for Electric Vehicles
An Overview of Technology for 3D Acquisition and Registration
A New Radical 2-Subdivision Scheme for Arbitrary Surface Design
Interactive Tracking of Three-Dimensional Critical Points in Unsteady, Large-scale CFD Datasets
A Generic Model for the Behavioral Simulation of Crowds
Software and Methods for Motion Capture and Tracking in Animation
Proceedings of the 2009 International Conference on Computer Graphics & Virtual Reality, CGVR 2009, July 13-16, 2009, Las Vegas, Nevada, USA
Visualizing Platonic Solids with Shading, Colour Interpolation and Textures Using OpenGL
Triangulation-free 3D Reconstruction from LiDAR Data
Calibration-free Line-based Tracking for Video Augmentation
Evolutionary Design of Virtual Plants
Personal Style and Non-Negative Matrix Factorization Based Exaggerative Expressions of Face
Construction of Surfaces
Virtual Worlds for Education 2006
Proceedings of the 2006 International Conference on Computer Graphics & Virtual Reality, CGVR 2006, Las Vegas, Nevada, USA, June 26-29, 2006
Multimodal Visualization
Application Of Virtual Reality Technology To Evacuation Simulation In Fire Disaster
Methods for the Evaluation of Orientation Sensors
A Shape Modification Algorithm with Curve Constraints
A Bipolar Model for Region Simplification
Generating Smooth Virtual Reality Maps Using 3D Building Blocks
Proceedings of the 2008 International Conference on Computer Graphics & Virtual Reality, CGVR 2008, July 14-17, 2008, Las Vegas, Nevada, USA
Spontaneous Mirror: Attracting the Public by Utilizing a Mirror and the Hierarchical Structure of Human Visual Psychology
Remote Move-Related Operation Awareness in Real-Time Internet-Based Collaborative Graphics Design Systems
Footprint Splatting for Interactive Visualization of Large Data Sets
Turtle Plots of Integer Sequences
Visualization Tool for Grid and Cloud Based Astronomical Application - Flight Towards the Sun
A Motion Graph Approach for Interactive 3D Animation Using Low-cost Sensors
Computer Supported Education: The Second Life Way
An Interactive Cutting Algorithm With Pattern Recognition For Triangular Meshes
A Survey of Empirical/Co-Relation Models for Explosion Modeling
Real-time Computation of Area Shadows - A Geometrical Algorithm
Virtual Reality Interface to Conventional First-Person-View Shooting Computer Games
Texture Mapping with Vector Graphics: A Nested Mipmapping Solution
Effects of Cartoon Render among Non-Photorealistic Renderers over Online Games
Virtual Reality Technology Assisting Communication Apprehension
Making Two-Dimensional Animations in Alice
Numerical Computation of Singular and Inflection Points on Planar Algebraic Curves
Markerless Pose Tracking Based on Local Image Features and Accelerometer Data
Modeling Real-World in Software: Coping with Coordinate Systems
A Generic Framework to Exploit Virtual Worlds as Normative and Dynamic Interactive Spaces
Development of Cost Effective, High Quality 3D Screen for 3D Visualization without attachments to the Eyes or to the Monitor
Real-time Caustics for Deformable Objects
Constraint Representation for Autonomous Camera
Adapting the Storage of Large Medical Datasets to Enable Interactive Display
Image Reconstruction Scheme for Watersheds based Video Segmentation
A Simple and Effective 3D Navigation System with 2D Map Guidance
PSeuDoFFIL: Power Saving Datapath FiFo Insertion Logic
3D Model Retrieval Using Convex Hull and Curvature
Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms
Topic Identification Based on Chinese Domain-Specific Subjective Sentence
Enabling Autonomous Self-Optimisation in Service-Oriented Systems
Combining Browsing Behaviors and Page Contents for Finding User Interests
Quality Assurance for Concurrent Software - An Actor-Based Approach
Flying Sensors - Swarms in Space
Specification Techniques (Not Only) for Autonomous Systems
Compositionality of Aspect Weaving
Detecting Drowsiness in Driving Simulation Based on EEG
A Study of Network Informal Language Using Minimal Supervision Approach
Patent Classification Using Parallel Min-Max Modular Support Vector Machine
Head Pose Perception Based on Invariance Representation
Autonomous Systems - Self-Organization, Management, and Control, Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008
€μ-Logics - Propositional Logics with Self-Reference and Modalities
A Slung Load Transportation System Based on Small Size Helicopters
Geometrical Approaches to Active Learning
Algorithms for Reconfiguring Self-Stabilizing Publish/Subscribe Systems
Multi-Source Data Fusion and Management for Virtual Wind Tunnels and Physical Wind Tunnels
Multi-Task BCI for Online Game Control
Efficient Biped Pattern Generation Based on Passive Inverted Pendulum Model
Transformation and Upgrading of Manufacturing Industry under the Perspective of Digital Economy
A Study on Relationship between Digital Transformation、Excess Cash Holdings and Investment Efficiency
Enterprise Value Assessment for Digital Mergers and Acquisitions
The Influence of Virtual Simulation Technology on the Construction of Cross-border E-commerce Platform System in China
Enterprise cost control from the perspective of intelligent supply chain
Application of CPU in AI and Machine Learning
Deep Learning Techniques in Time Series Forecasting: a Study on RMB Exchange Rate Forecasting Based on Google Search Data
Proceedings of the International Conference on Decision Science & Management, ICDSM 2024, Hong Kong, SAR, China, April 26-28, 2024
Amplifying Learning and Teaching Effectiveness through Generative Artificial Intelligence: A Qualitative Approach with Case Studies on Supply Chain and Cold Chain Management
Research on the Impact of the Digital Economy on Narrowing the Gap Between Urban and Rural Areas-An Empirical Analysis based on Provincial Panel Data: This paper uses provincial-level balanced panel data to investigate the relationship between China' s digital economy development and income disparities between urban and rural areas
Transformer Fault Early Warning Method Based on AAKR Algorithm
Using deep Reinforcement Learning to Optimize the Motivational Incentive Mechanism of Online English Learners
Research on the Innovation-driven Development Strategy of Shipping Economy Based on Big Data Technology under the Double Carbon Objective
Research on the Application of Knowledge Graph Technology in Urban Management Decision Support System
A Study on the Spillover Effect of Green Bond Issuance in Manufacturing Industry and Its Impact on Financial Performance
Analysis on the Influencial Factors of the Openness Level of Digital Trade Rules - Based on fsQCA Method
Research on the Ways to Improve College Teachers' Information Literacy in the Mobile Internet Era
Research on the Coupling and Coordination of Digital Economy and Cultural Industry Innovation in Dongguan, China
Research on E-commerce Data Analysis Algorithms and Applications Based on Artificial Intelligence
Research on the Application of Deep Learning in Market Trend Prediction of Entrepreneurial Enterprises
Mining Novel Customer Needs from Online Product Review
Design and Evaluation of Personalized English Learning System Based on Artificial Intelligence
Research on the Construction and Application of Knowledge Graph in Manufacturing Enterprises
Multi-source Heterogeneous Data Fusion and economic Benefit Analysis in Power Systems
Research on Using Natural Language Processing Technology to Improve the Effectiveness of English Writing Teaching
Algorithm for Optimizing Financial Resource Allocation Scheduling Based on Deep Reinforcement Learning
Analysis of Financial Risks of Haier Smart Home Based on the Background of Digitalization
Design and Implementation of a Business English Teaching Resource Management System Utilizing the K-means Clustering Algorithm
Enterprise Dynamic Resource Allocation Optimization Based on Multi-agent System
A Simulation Analysis of the Co-loading Strategy in the Air Freight Process
Research and Practice of Big Data Mining and Visual Analysis in the Field of Music Education
Establishment of enterprise tax personnel information management system based computer technology
Enterprise Green Technology Selection for Strategic Consumers in the Context of the 'Dual Carbon' Initiative
The Effectiveness Analysis Method of the Value-added Evaluation System of Higher Education Quality from the Perspective of Machine Learning
Computerized financial accounting audit supported by multimedia information technology
Decision Mechanism and Modes of Chinese OFDI for Entering Latin American Markets
Research and Practice on Personalized Service Model of Zigui Citrus E-commerce Sales Platform Based on Artificial Intelligence
Optimization of English Speech-to-Text Conversion Using Deep Reinforcement Learning
Application of Big Data Analysis in English Teaching Quality Assessment
Random Matrix Weighting Algorithm Based Whole Life Project Cost Management
E-Voting as an E-Government Application: A Foundation Analysis
Performance Evaluation of Container NamePlate Text Detection and Recognition with a New Dataset
Construction and Teaching Application of Knowledge Graph in the Field of International Trade
Task Mastery: Revolutionizing Efficiency with the Company Staff Management System
Research on User Behavior Analysis in E-commerce Platforms Based on Personalized Recommendation Algorithms
Design and Implementation of College English Teaching Quality Assessment System Based on FNN
The Relationship between Environmental Information Disclosure and Financing Constraints: Evidence from Heavily Polluted Listed Companies in China
Application of Machine Learning in Human Resources Management: Research on Employee Performance Prediction Model
Research on the Application of Cloud Computing Technology in the Optimal Allocation of Resources in Entrepreneurial Enterprises
Research into the Effect and Mechanism of Green Finance on the Optimization and Enhancement of Industrial Structure
Machine Learning-Driven Industry Index Rebound Prediction: A New Perspective Through Image Analysis
Innovation and practice of university education and teaching mode based on Internet technology
Research on the Application of Big Data Analysis in Consumer Behavior Pattern Recognition
Lean Research and Development Theory-based Scientific and Technological Achievement Transformation Mode of College Students
Comparison and Application of FPGA and ASIC in Digital System Design
Study on the Measurement of the Development Level of Low-Carbon Economy Based on the Topsis Comprehensive Evaluation Method
Machine Learning-Based Market Segmentation and Consumer Behavior Prediction Models
Positive Formulas in Intuitionistic and Minimal Logic
Sitting, Standing, and Lying in Frames: A Frame-Based Approach to Posture Verbs
Duality and Universal Models for the Meet-Implication Fragment of IPC
Alternative Semantics for Visser's Propositional Logics
Implicatures of Irrelevant Answers and the Principle of Optimal Completion
A Probabilistic, Mereological Account of the Mass/Count Distinction
Dialect Dictionaries in the Georgian Dialect Corpus
A Dynamic Conceptual Model for the Linguistic Structuring of Space: Georgian Preverbs
Bare Nouns and the Hungarian Mass/Count Distinction
A Computational Grammar for Georgian
Frame Theory, Dependence Logic and Strategies
A Finite State Approach to Abkhaz Morphology and Stress
What Does It Mean for an Indefinite to Be Presuppositional?
Semantic Predictions in Natural Language Processing, Default Reasoning and Belief Revision
Quantifiers in Japanese
Deontic Conflicts and Multiple Violations
Alleged Assassins: Realist and Constructivist Semantics for Modal Modification
The Topology of Full and Weak Belief
Participants in Action: The Interplay of Aspectual Meanings and Thematic Relations in the Semantics of Semitic Morphology
Language as Mechanisms for Interaction: Towards an Evolutionary Tale
Inquisitive Semantics: Two Possibilities for Disjunction
Uniqueness and Possession: Typological Evidence for Type Shifts in Nominal Determination
Georgian as the Testing-Ground for Theories of Tense and Aspect
Topological Evidence Logics: Multi-agent Setting
Discourse Relations and Relevance Implicatures: A Case Study
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory
Towards Verb Modification in Frames - A Case Study on German Schlagen (to hit)
Syntax Annotation of the Georgian Literary Corpus
Unranked Nominal Unification
Dealing with Polysemy in Russian National Corpus: The Case of Adjectives
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules
Argument Dependencies in Tukang Besi
The Functions of the Particles mxolod and mart'o in Georgian
On the Licensing of Argument Conditionals
Case Attraction in Ancient Greek
Bridging Inferences in a Dynamic Frame Theory
Frame Theory with First-Order Comparators: Modeling the Lexical Meaning of Punctual Verbs of Change with Frames
Kripke Models Built from Models of Arithmetic
Lyndon Interpolation for Modal μ-Calculus
First-Order Abduction as Enumeration of Stable Models
Dutch Grammar and Processing: A Case Study in TLG
Pros and Cons of a Type-Shifting Approach to Russian Genitive of Negation
An Axiomatization of the d-logic of Planar Polygons
Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Semantic Dependency Graphs
A Representation Theorem for Stratified Complete Lattices
Preverbs in Megrelian
It is not the Obvious Question that a Cleft Addresses
Productivity, Polysemy, and Predicate Indexicality
Building Resources for Georgian Treebanking-Based NLP
Research on Aspect: Reflections and New Frontiers
A Semantic Account of the Intervention Effects in Chinese Why-Questions
Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras
Cut-Elimination and Proof Schemata
Subintuitionistic Logics with Kripke Semantics
The Modal Formula (...) Is Not First-Order Definable
Functional Analysis of Contrasting Conjunctions in Georgian
Processing Definite Determiners: Formal Semantics Meets Experimental Results
The Syntax/Semantics Interface: Compositionality Issues
A Modal Transcription of the Hausdorff Residue
An Algorithm Defining the Choice of 'Active~Passive' Formal Paradigms in Georgian
Why Aktionsart-Based Event Structure Templates Are not Enough - A Frame Account of Leaking and Droning
Terminal Sequence Induction via Games
Łukasiewicz Logic: An Introduction
Clitic Movement in Pregroup Grammar: A Cross-Linguistic Approach
An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic
Jankov's Theorems for Intermediate Logics in the Setting of Universal Models
The Information Structure and Typological Peculiarities of the Georgian Passive Constructions
Exceptional Scope as Discourse Reference to Quantificational Dependencies
Aspectual Shifts With and Without Type Conflict
Explaining Meaning: The Interplay of Syntax, Semantics, and Pragmatics
Unless and Until: A Compositional Analysis
evenin Horn Space
Tutorial on Admissible Rules in Gudauri
Finite Identification with Positive and with Complete Data
Quasi-Realization
Lattices of Intermediate Theories via Ruitenburg's Theorem
A Study of Subminimal Logics of Negation and Their Modal Companions
Towards a Suppositional Inquisitive Semantics
The Meaning of the Additive Too : Presupposition and Discourse Similarity
Between-Noun Comparisons
Three Kinds of Event Nominal Negation in Russian
Conceptualization of Pain: A Database for Lexical Typology
The Marking of Verb-Actant Relations in Georgian
Decidable and Undecidable Problems for First-Order Definability and Modal Definability
Dynamics of Defeasible and Tentative Inference
Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers
Boolean Modal Logic wK 4 Dyn - Doxastic Interpretation
Focus and 'Only' in Hungarian
Spectra of Gödel Algebras
Language, Logic, and Computation - 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers
From Inference to Meaning: Experimental Study on Reasoning with Quantifiers Some and Most
The Athlete Tore a Muscle: English Locative Subjects in the Extra Argument Construction
On -c and ki Particles in Georgian
Identification through Inductive Verification
Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
Logic of Questions and Public Announcements
Computational Social Choice (with a Special Emphasis on the Use of Logic)
The Problem of Learning the Semantics of Quantifiers
Extensions in Compositional Semantics
Admissibility and Unifiability in Contact Logics
Ordinal Completeness of Bimodal Provability Logic GLB
Two Neighborhood Semantics for Subintuitionistic Logics
Equilibrium Semantics for IF Logic and Many-Valued Connectives
A Non-factualist Semantics for Attributions of Comparative Value
The Duality of State and Observation in Probabilistic Transition Systems
The Structure of Rigid Frames of Depth 3 Only
Binding - Data, Theory, Typology
Compounds or Phrases? Pattern Borrowing from English into Georgian
Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
Whence Long-Distance Indefinite Readings? Solving Chierchia's Puzzle with Dependent Types
Enlarging the Diversity of Valency Instantiation Patterns and Its Implications
Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic
Bridging the Gap Between Formal Semantics and Neurolinguistics: The Case of the N400 and the LPP
Real World Multi-agent Systems: Information Sharing, Coordination and Planning
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
Misfits: On Unexpected German Ob-Predicates
Decidability for Justification Logics Revisited
Expressing Ignorance or Indifference
A Whether Forecast
Discourse Structuring Questions and Scalar Implicatures
Towards a Cross-Linguistic Production Data Archive: Structure and Exploration
Interpreted Systems Semantics for Process Algebra with Identity Annotations
Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
The Imperfect Measure of Internally Plural Events
Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
Computational Model of the Modern Georgian Language and Search Patterns for an Online Dictionary of Idioms
The Main Devices of Foregrounding in the Information Structure of Georgian Sentences
Gradability in MTT-Semantics
From Semantic Memory to Semantic Content
Semantic Characterizations of German Question-Embedding Predicates
Bayesian NL Interpretation and Learning
Incomplete Information and Justifications
On Gödel Algebras of Concepts
Logic, Language, and Computation - 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Natural Logic for Natural Language
Spectral and T 0 -Spaces in d-Semantics
Embedded Questions are Exhaustive Alright, but..
The Computational Complexity of Quantified Reciprocals
A View of Canonical Extension
Reflexive and Reciprocal Determiners
Efficient Design and Inference in Distributed Bayesian Networks: An Overview
Universal Models for the Positive Fragment of Intuitionistic Logic
From Paradox to Truth - An Introduction to Self-reference in Formal Language
Tutorial: Sign Language Linguistics
F-LTAG Semantics for Issues Around Focusing
Towards a Logic of Information Exchange - An Inquisitive Witness Semantics
Model Checking for Modal Intuitionistic Dependence Logic
Distributional Analysis of Polysemous Function Words
Doubling: The Semantic Driving Force Behind Functional Categories
Biaspectual Verbs: A Marginal Category?
Expressing Belief Flow in Assertion Networks
Final-Vowel Truncation in the Forms of Address in Modern Spoken Georgian
Matching and Generalization Modulo Proximity and Tolerance Relations
An Outline of a Dynamic Theory of Frames
Benutzermodellierung in einem natürlichsprachigen Dialog-System
Überlegungen zum Design von Dialogsystemen
Anmerkungen zur Ergonomischen Gestaltung von Mensch-Maschine-Systemen
Reise nach irgenwo Anmerkungen zu einem Reise-Buchungs-System
Untersuchungen zum individualisierten Computerdiaglog: Einfluss des operativen Abbildsystems auf Handlungs- und Gestaltungspielram und die Arbeitseffizienz
Probleme der Mensch-Computer-Kommunikation bei Computerunterstützter Instruktion (CAI)
Lernanforderungen als Gestaltungsgrundlage für die Mensch-Maschine-Schnittstelle von Rechnern
Das mantale Modell als Ausgangspunkt zu einem Benutzterfreundlichen Reiseberatungssystem
Probleme wissenschaftsgeleiteter Forschung bei der Software-Entwicklung
Ergänzung und Korrektur der mentalen Modelle durch Rechnerunterstützung
Die Gestaltung der Mensch-Computer-Interaktion Einführung in ein interdiszipinäres Forschungsgebiet
Computerunterstützte Planung von Ferienreisen ein fiktiven Beispiel
Funktionsverteilung in Mensch-Computer-Systemen am Beispiel Reiseberatung
Kognitive Aspekte der Mensch-Computer-Interaktion, Workshop, München, 12.-13. April 1984
Überlegungen zur Gestaltung des Mensch-Maschine-Dialogs
Sachproblem, Interaktionsproblem und die Rolle des Benutzers
Graphische Kommunikations- und präsentationsformen für komplexe Wissens- und Textstrukturen: zur Konzeption eines graphischen Interface für ein wissensbesiertes Textkondensierungssystem
Zero-Shot Learning with Matching Networks for Open-Ended Human Activity Recognition
Towards Argumentative Dialogue as a Humane Interface between People and Intelligent Machines
Non-Deterministic Solvers and Explainable AI through Trajectory Mining
Proceedings of the SICSA Workshop on Reasoning, Evaluation and Application of Large Language Models (SICSA REALLM 2024), Aberdeen, United Kingdom, October 17th, 2024
Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, Aberdeen, United Kingdom, June 1st, 2021
Are Contrastive Explanations Useful?
Counterfactual Explanations for Student Outcome Prediction with Moodle Footprints
Human-in-the-Loop Approach to Digitisation of Engineering Drawings
Mining Markov Network Surrogates to Explain the Results of Metaheuristic Optimisation
Integrating KGs and Ontologies with RAG for Personalised Summarisation in Regulatory Compliance
Dual-Task Dialogue Understanding
Proceedings of the SICSA Workshop on Reasoning, Learning and Explainability, Aberdeen, Scotland, UK, June 27, 2018
Data Quality in Reasoning
Digital Interpretation of Sensor-Equipment Diagrams
Towards Improving Open-box Hallucination Detection in Large Language Models (LLMs)
Explainable AI Beer Style Classifier
Automatic Phishing Detection vesus User Training, Is there a Middle Ground Using XAI?
A Conceptual Framework of Starlings Swarm Intelligence Intrusion Prevention for Software Defined Networks
Process Fuzzing as an Approach to Genetic Programming
Towards LLM-driven Automated Verification of Best Practices in Digital Public Infrastructures
Superpixel Group Mining for Manipulation Action Recognition
SCaLe-QA: Sri lankan Case Law Embeddings for Legal QA
I don't understand! Evaluation Methods for Natural Language Explanations
On Evidence Capture for Accountable AI Systems
Challenges and Future Directions for Accountable Machine Learning