yusuke1997/dblp-id-title huggingface dataset:
Algorithms and Architectures for Cryptography and Source Coding in Non-Volatile Flash Memories
Spatial Representation and Reasoning for Robot Mapping - A Shape-Based Approach
Performance Assessment for Process Monitoring and Fault Detection Methods
Social Media - Fundamentals, Models, and Ranking of User-Generated Content
Human Information Processing in Speech Quality Assessment, Second Editiontion
Mobility Data Management and Exploration
3D Face Processing - Modeling, Analysis and Synthesis
Information Visualisation and Virtual Environments
The Rise of AI User Applications - Chatbots Integration Foundations and Trends
Symbols - An Evolutionary History from the Stone Age to the Future
Enterprise Design Fundamentals - Settling an Enterprise Business and Devising the Enterprise Organisation
Smart Nitrate Sensor - Internet of Things Enabled Real-Time Water Quality Monitoring
Concise Guide to Computing Foundations - Core Concepts and Select Scientific Applications
Theory of Oscillations - Structural Mathematical Modeling in Problems of Dynamics of Technical Objects
Deep Learning Models - A Practical Approach for Hands-On Professionals
Fuzzy Rule-Based Inference - Advances and Applications in Reasoning with Approximate Knowledge Interpolation
Network Intrusion Detection using Deep Learning - A Feature Learning Approach
Model Fire in a Two-Storey Timber Building
Introduction to Digital Communications, Second Edition
Graph Data Management, Fundamental Issues and Recent Developments
Cursive Script Text Recognition in Natural Scene Images - Arabic Text Complexities
Propositional, Probabilistic and Evidential Reasoning: Integrating Numerical and Symbolic Approaches
R-CALCULUS: A Logic of Belief Revision
Datenbankeinsatz
Group-Theoretic Algorithms and Graph Isomorphism
Content Distribution for Mobile Internet: A Cloud-based Approach, Second Edition
Anticipation Across Disciplines
Dark Web - Exploring and Data Mining the Dark Side of the Web
The Complexity of Simple Computer Architectures
Problem-Solving Methods: Understanding, Description, Development, and Reuse
The Design of Dynamic Data Structures
From Requirements to Java in a Snap - Model-Driven Requirements Engineering in Practice
Design of Image Processing Embedded Systems Using Multidimensional Data Flow
Network Analysis and Architecture
Information Processing and Security Systems
Behavioural Models - From Modelling Finite Automata to Analysing Business Processes
Monetary Valuation of Privacy - Analyzing the Consistency of Valuation Methods and Their Influencing Factors
Text Segmentation and Recognition for Enhanced Image Spam Detection - An Integrated Approach
An Attribute Grammar for the Semantic Analysis of Ada
Verification of Business Rules Programs = Verifikation von Geschäftsregel-Programmen
Multi-Agent Programming: Languages, Platforms and Applications
Temporally Distributed Symptoms in Technical Diagnosis
Big Digital Forensic Data - Volume 1: Data Reduction Framework and Selective Imaging
Tailoring a Broad-Coverage System for the Analysis of Dictionary Definitions
Composition of Descriptions : A Progress Report
Normalization of Semantic Graphs
Structural Patterns versus String Patterns for Extracting Semantic Information from Dictionaries
Software Quality : A Modelling and Measurement View
The Place of Strictly Defined Notation in Human Insight
A Prototype English-Japanese Machine Translation System
A Two-Stage Algorithm to Parse Multi-Lingual Argument Structures
Broad-Coverage Machine Translation
On constructing large software systems
Assigning Meanings to Programs
Word-Sense Disambiguation by Examples
Modelling Working Group Summary
Formal Methods in Systems Engineering
Quality Assurance Working Group
SENS: The System for Evaluating Noun Sequences
Building a Knowledge Base from Parsed Definitions
Program Verification, Defeasible Reasoning, and Two Views of Computer Science
Formal Methods of Software Development : Painted into the Corner of High-Integrity Computing?
The Paragraph as a Semantic Unit
Philosophical Aspects of Program Verification
Mathematics of Programming
The Social Negotiation of Proof: An Analysis and a further Prediction
Towards Transductive Linguistics
Proof of Algorithms by General Snapshots
PEGASUS: Deriving Argument Structures after Syntax
C-SHALT: English-to-Chinese Machine Translation Using Argument Structures
Parse Fitting and Prose Fixing
Design Methods Working Group
Sense Disambiguation Using Online Dictionaries
Grammar Errors and Style Weaknesses in a Text-Critiquing System
The Experience of Developing a Large-Scale Natural Language Processing System: Critique
PEG: The PLNLP English Grammar
Outline of a Paradigm Change in Software Engineering
Integrating Methods in Practice
Natural Language Processing: The PLNLP Approach
Formalism and Prototyping in the Software Process
Formal methods and product documentation
Program Verification - Fundamental Issues in Computer Science
Modular Algorithms in Symbolic Summation and Symbolic Integration
Hardware Support for Efficient Resource Utilization in Manycore Processor Systems
An Introduction to Multi-Core System on Chip - Trends and Challenges
Embedded Multicore Systems: Design Challenges and Opportunities
PALLAS: Mapping Applications onto Manycore
The Case for Message Passing on Many-Core Chips
Design Tools and Methods for Chip Physical Design
Adaptive Multiprocessor System-on-Chip Architecture: New Degrees of Freedom in System Design and Runtime Support
Power-Aware Multicore SoC and NoC Design
High-Performance Multiprocessor System on Chip: Trends in Chip Architecture for the Mass Market
Invasive Computing: An Overview
Composability and Predictability for Independent Application Development, Verification, and Execution
Kopplung von Rechnernetzen: Techniken zu Planung, Entwurf, Vermessung und Leistungsoptimierung
Cyber-Security Threats and Response Models in Nuclear Power Plants
Foundations for a Social Workflow Platform
Building a Cybersecurity Culture in Organizations - How to Bridge the Gap Between People and Digital Technology
Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving
Instantiation Theory - On the Foundations of Automated Deduction
Uncertainty Modeling for Data Mining - A Label Semantics Approach
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
Computer Vision for X-Ray Testing - Imaging, Systems, Image Databases, and Algorithms
Foundations of Computational Linguistics - Human-Computer Communication in Natural Language
Multimedia Tools and Applications for Environmental & Biodiversity Informatics
Grid and Cloud Database Management
Recommender Systems for Technology Enhanced Learning
Compression-Based Methods of Statistical Analysis and Prediction of Time Series
Decision Support for Product Development - Using Computational Intelligence for Information Acquisition in Enterprise Databases
Intelligent Algorithms for Packing and Cutting Problem
Fault-Tolerant Cooperative Control of Unmanned Aerial Vehicles
LaTeX in 24 Hours - A Practical Guide for Scientific Writing
An Introduction to the Bootstrap
Cooperative Control of Multi-agent Systems - A Scale-Free Protocol Design
Reasoning with Logic Programming
Accelerated Optimization for Machine Learning - First-Order Algorithms
Concrete and Abstract Voronoi Diagrams
Fuzzy Mathematics: Approximation Theory
Complexity Theory and Cryptology. An Introduction to Cryptocomplexity
A Volume Rendering Crossbar and SRAM-Based Hardware
The Design of Efficient Parallel Algorithms
A Century of Controversy over the Foundations of Mathematics
A Morphological Approach to Volume Synthesis of Weathered Stones
Rest EEG Hidden Dynamics as a Discriminant for Brain Tumour Classification
Electronic Commerce: State of the Art
Splicing Normalization and Regularity
Visible Human Animation
Finite Versus Infinite
Networking Aspects of Distributed and Parallel Computing
The Importance of Features and Primitives for Multi-dimensional/Multi-channel Image Processing
Parallel Operating Systems
Smooth Boundary Surfaces from Binary 3D Datasets
Product Marketing on the Internet
Possibilistic Graphical Models
An Overview of Possibilistic Logic and its Application to Nonmonotonic Reasoning and Data Fusion
Parallel and Distributed Scientific Computing
Patient Monitoring Using an Artificial Neural Network
Independent Components Analysis
Infinity - An Outline of Conceptions in Mythology, Cosmology and Natural Philosophy
Volumetric Modelling of 3D Text
The Application of Neural Networks to Interpret Evoked Potential Waveforms
Finite and Infinite in Geography
Rough Set Processing of Vague Information Using Fuzzy Similarity Relations
Component-based Electronic Commerce
Artificial Neural Network Control on Functional Electrical Stimulation Assisted Gait for Persons with Spinal Cord Injury
The Bayesian Paradigm: Second Generation Neural Computing
Tools for Parallel Computing: A Performance Evaluation Perspective
Neurometric Assessment of Adequacy of Intraoperative Anaesthetic
Smoothing Data: When Finite and Infinite Dimensional Help Each Other
The Application of PAPNET to Diagnostic Cytology
Decision Support Applications in Electronic Commerce
Management of Resources in Parallel Systems
vxt: A Class Library for Object Voxelisation
Internet Involvement: Instrument Development, Measurement and Implications for Electronic Commerce
Registration Methods for Harmonious Integration of Real World and Computer Generated Objects
Learning Fuzzy Models and Potential Outliers
An Interesting Serendipitous Real Number
Minimally Thin Discrete Triangulation
Fast Volume Rendering and Animation of Amorphous Phenomena
The Internet Information Market: The Emerging Role of Intermediaries
Volume Modelling
Data Mining and Statistics
Intranets: An Internet Inside the Organization
Computer Vision and Graphics Techniques for Modeling Dressed Humans
InViVo-IORT - A System for Quality Control of Intra-Operative Radiotherapy
Realistic Volume Animation with Alias
A Strategic Perspective of Internet Information Providers
Multimedia Applications for Parallel and Distributed Systems
Acquiring Range Images of Objects with Non-Uniform Reflectance Using High Dynamic Scale Radiance Maps
High-performance Computing in Molecular Sciences
Application Of Neural Networks in the Diagnosis of Pathological Speech
3D Object Tracking Using Analysis/Synthesis Techniques
Consistent Projective Reconstruction from Multiple Views
Algebraic Representations of Regular Array Languages
Accurate Natural Surface Reconstruction from Polynocular Stereo
The Emerging Law of Electronic Commerce
Georgia: An Overview
High-Quality Volume Rendering Using Seed Filling in View Lattice
Decision Support Systems and Internet Commerce
Electronic Commerce and Digital Libraries
The Role of the Artificial Neural Network in the Characterisation of Complex Systems and the Prediction of Disease
Volumetric Facial Reconstruction for Forensic Identification
Classifying Spinal Measurements Using a Radial Basis Function Network
Building Models from Sensor Data: An Application Shared by the Computer Vision and the Computer Graphics Community
The Internet as a New Marketplace: Implications for Consumer Behavior and Marketing Management
The Future of the Digital Economy
Surface Reconstruction from Multiple Views Using Apparent Contours and Surface Texture
Genetic Evolution of Neural Network Architectures
On Information-Theoretical Aspects of Relational Databases
Confluence of Computer Vision and Computer Graphics
Fast Multi-Resolution Volume Rendering
Intelligent Software Agents for Electronic Commerce
Augmented Reality by Integrating Multiple Sensory Modalities for Underwater Scene Understanding
Volume Graphics and the Internet
Manufacturing Isovolumes
Web Development and Management: Using the Cohort Model
Parallel and Distributed Computing: State-of-the-Art and Emerging Trends
Ultrafilters, Dictators, and Gods
Finite Versus Infinite in Singularity Dynamics
Algorithmically Optimised Real-Time Volume Rendering
Learning in Computer Soccer
Uniformly Scattered Factors
Subgroup Mining
Hardware Accelerated Voxelisation
Handbook on Parallel and Distributed Processing
Languages for Parallel Processing
Multi-Resolutional Parallel Isosurface Extraction based on Tetrahedral Bisection
Urban Site Models: Accurate, Detailed, Rapid and Inexpensive
State-of-the-Art in Volume Graphics
Extending Hypertextures to Non-Geometrically Definable Volume Data
Can Virtual Look Real? A Review of Virtual Studio Techniques
A Framework for Garment Shopping over the Internet
Dynamic View Interpolation Without Affine Reconstruction
The Emergence of Auctions on the World Wide Web
Electronic Catalogs in the Web-Based Business-to-Business Procurement Process
On the Behaviour of Semiautomata
Medical Visualisation, Biomechanics, Figure Animation and Robot Teleoperation: Themes and Links
Finite and Infinite in Logic
Parallel Database Systems and Multimedia Object Servers
Architecture of Parallel and Distributed Systems
Electronic Markets: Impact and Implications
Augmented Reality: A Problem in Need of Many Computer Vision-Based Solutions
Solving Problems with Finite Test Sets
Electronic Commerce: Markets and Users
3D Scan-Conversion of CSG Models into Distance, Closest-Point and Colour Volumes
Relativized Code Concepts and Multi-Tube DNA Dictionaries
NURBS Volume for Modelling Complex Objects
Constructive Representations of Volumetric Environments
Voxels versus Polygons: A Comparative Approach for Volume Graphics
A Possibilistic Distance for Sequences of Equal and Unequal Length
Virtual Organizations and E-Commerce
On the Solution of Fuzzy Equation Systems
Web-enabled Data Warehouse
Finite Versus Infinite Neural Computation
Real-Time 3D-Teleimmersion
State Complexity of Regular Languages: Finite versus Infinite
Design of Electronic Stores
The New Economy Electronic Commerce, and the Rise of Mass Customization
Culture Clash in Internet Marketing: Implications for Marketing Practices
A Neural-Based System for the Automatic Classification and Follow-Up of Diabetic Retinopathies
A Version of Ω for which ZFC Cannot Predict a Single Bit
Artificial Neural Networks in Biomedicine
A Strategic Framework for Electronic Commerce: The Digital Production Cycle
ProstAsure Index - A Serum-Based Neural Network-Derived Composite Index for Early Detection of Prostate Cancer
Controlling Based on Stochastic Models
Supply Chain Processes and Relationships for Electronic Commerce
An Algorithm for Adaptive Clustering and Visualisation of Highdimensional Data Sets
Infinitely Many Infinities
Web-based Global Supply Chain Management
Image-Based 3D Modeling: Modeling from Reality
Classification of Chromosomes: A Comparative Study of Neural Network and Statistical Approaches
Benchmark of Approaches to Sequential Diagnosis
Supply Chain Management: Developing Visible Design Rules across Organizations
Intelligent Decision Support Systems in the Cytodiagnosis of Breast Carcinoma
Facial Motion Capturing Using an Explanation-Based Approach
Electronic Commerce: Privacy, Security, and Control
From Images to Virtual and Augmented Reality
Consumer Mass Market Online Payment Solutions
Rearrangements of Real Functions Derived from the Combinatorics of Young Tableaux
A Practical Guide to Splines
The Authoritative Guide on Harbor - Management and Practice of Cloud Native Artifacts Such as Container Images and Helm Charts
Vehicle Computing - From Traditional Transportation to Computing on Wheels
Modelling Spatial Knowledge on a Linguistic Basis: Theory - Prototype - Integration
Singularly Perturbed Jump Systems - Stability, Synchronization and Control
Event-Driven Circuit Architectures for Scalable and Adaptive Sensor Readout
Topics in Parallel and Distributed Computing, Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms
Information Systems Reengineering, Integration and Normalization, Third Edition
Assessment of Visual Quality and Simulator Sickness for Omnidirectional Videos
Global Optimization
Heterogeneous Information Network Analysis and Applications
Motion Planning in Medicine: Optimization and Simulation Algorithms for Image-Guided Procedures
Linear Algebra for Computational Sciences and Engineering
Logic Programming with Prolog
Transfer Learning for Harmful Content Detection, 2
The Traveling Salesman, Computational Solutions for TSP Applications
Computational Thinking: A Perspective on Computer Science
Visual Event Detection
Type-2 Fuzzy Neural Networks and Their Applications
Stochastic Geometry Analysis of Multi-Antenna Wireless Networks
Quantum Computing Compact - Spooky Action at a Distance and Teleportation Easy to Understand
Neural Networks with Model Compression
Data, Disruption & Digital Leadership - How to Win the Innovation Game
Quantum Communication Networks, 1
Computation and the Humanities - Towards an Oral History of Digital Humanities
Mashups - Concepts, Models and Architectures
DIANA - An Intermediate Language for Ada, Revised Version
Current Trends in Concurrency, Overviews and Tutorials
Data Analytics - Models and Algorithms for Intelligent Data Analysis - A Comprehensive Introduction, Fourth Editiontion
Emerging Wireless Communication and Network Technologies - Principle, Paradigm and Performance
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Multiple Instance Learning - Foundations and Algorithms
Planning and Learning by Analogical Reasoning
Distributed Detection and Data Fusion
Introduction to Computational Origami - The World of New Computational Geometry
Aspect-Oriented Database Systems
Compiling Natural Semantics
Modelling Puzzles in First Order Logic
Collaborative Design for Embedded Systems - Co-modelling and Co-simulation
Programmieren in Modula-2
Specification and Compositional Verification of Real-Time Systems
Facebook Nation - Total Information Awareness
Parallele Implementierung funktionaler Programmiersprachen
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Social Computing with Artificial Intelligence
Break-Glass - Handling Exceptional Situations in Access Control
Enterprise Ontology - A Human-Centric Approach to Understanding the Essence of Organisation
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
Unification of Fractional Calculi with Applications
Cellular Cause-Effect Structures
A Methodology for Uncertainty in Knowledge-Based Systems
Synchronizing Internet Protocol Security (SIPSec)
Primality Testing in Polynomial Time, From Randomized Algorithms to "PRIMES Is in P"
Assessing the Quality of Experience of Cloud Gaming Services
Mobile Health - Sensors, Analytic Methods, and Applications
Agent-Based Business Process Simulation - A Primer with Applications and Examples
Cellular Learning Automata: Theory and Applications
Cognitive Systems
Enterprise Architecture for Global Companies in a Digital IT Era - Adaptive Integrated Digital Architecture Framework (AIDAF)
Fast Sorting Algorithms
The Sieve of Eratosthenes - How Fast Can We Compute a Prime Number Table?
Online Algorithms - What Is It Worth to Know the Future?
Pledge's Algorithm - How to Escape from a Dark Maze
Majority - Who Gets Elected Class Rep?
Multiplication of Long Integers - Faster than Long Multiplication
Minimum Spanning Trees - Sometimes Greed Pays Off
Broadcasting - How Can I Quickly Disseminate Information?
The Smallest Enclosing Circle - A Contribution to Democracy from Switzerland?
Topological Sorting - How Should I Begin to Complete My To Do List?
Codes - Protecting Data Against Errors and Loss
One-Way Functions - Mind the Trap - Escape Only for the Initiated
Eulerian Circuits
PageRank - What Is Really Relevant in the World-Wide Web?
The Travelling Salesman Problem
Marriage Broker
Depth-First Search (Ariadne & Co.)
Cycles in Graphs
Converting Numbers into English Words
Playing Poker by Email
Gauss-Seidel Iterative Method for the Computation of Physical Problems
Parallel Sorting - The Need for Speed
Scheduling of Tournaments or Sports Leagues
Winning Strategies for a Matchstick Game
High-Speed Circles
Random Numbers - How Can We Create Randomness in Computers?
Searching Texts - But Fast! The Boyer-Moore-Horspool Algorithm
Dynamic Programming - Evolutionary Distance
Bin Packing - How Do I Get My Stuff into the Boxes
Maximum Flows - Towards the Stadium During Rush Hour
The One-Time Pad Algorithm - The Simplest and Most Secure Way to Keep Secrets
Co-ordination in Artificial Agent Societies, Social Structure and Its Implications for Autonomous Problem-Solving Agents
Introduction to Intelligent Surveillance - Surveillance Data Capture, Transmission, and Analytics, Second Edition
Variable Domain-specific Software Languages with DjDSL - Design and Implementation, 6
3D Computer Vision - Foundations and Advanced Methodologies
TOPSIS and its Extensions: A Distance-Based MCDM Approach
Scientific Peer Reviewing - Practical Hints and Best Practices
Discrete-Time Sliding Mode Protocols for Discrete Multi-Agent System
Concurrent Reactive Plans, Anticipation and Forestalling Execution Failures
Learning C# Through Small Projects
Large Language Models: A Deep Dive - Bridging Theory and Practice
Programs as Diagrams - In cooperation with the association Computability in Europe
Spatial Big Data Science - Classification Techniques for Earth Observation Imagery
Software Project Effort Estimation - Foundations and Best Practice Guidelines for Success
Semantic Web Information Management - A Model-Based Perspective
Verkehrsanalyse in endlichen Zeiträumen: Grundlagen und Erweiterungen der operationalen Analyse
Hard X-Ray Imaging of Solar Flares, 2
Mathematics of Uncertainty for Coping with World Challenges - Climate Change, World Hunger, Modern Slavery, Coronavirus, Human Trafficking
Closed Object Boundaries from Scattered Points
Secure Networked Inference with Unreliable Data Sources
On Sets and Graphs: Perspectives on Logic and Combinatorics
Diagnostic Systems For Energy Equipments
Edge AI - Convergence of Edge Computing and Artificial Intelligence
List Decoding of Error-Correcting Codes (Winning Thesis of the 2002 ACM Doctoral Dissertation Competition)
Cloud-IoT Technologies in Society 5.0
Build Mobile Apps with Ionic 2 and Firebase, Hybrid Mobile App Development
Finitely Supported Mathematics - An Introduction
Advances and New Trends in Environmental Informatics - Managing Disruption, Big Data and Open Science
Human Centered Robot Systems, Cognition, Interaction, Technology
On-Line Trajectory Generation in Robotic Systems - Basic Concepts for Instantaneous Reactions to Unforeseen (Sensor) Events
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Computational Aspects of an Order-Sorted Logic with Term Declarations
Tactile Perception by Electrovibration
Location-Based Mobile Games - Design Perspectives
Algorithms for Fuzzy Clustering - Methods in c-Means Clustering with Applications
Cyber-Physical-Social Intelligence - On Human-Machine-Nature Symbiosis, 2
Fuzzy Logic in Action: Applications in Epidemiology and Beyond
Data Science and Predictive Analytics - Biomedical and Health Applications using R, Second Edition
Robust Methods for Dense Monocular Non-Rigid 3D Reconstruction and Alignment of Point Clouds
Finite and Boundary Element Tearing and Interconnecting Solvers for Multiscale Problems
Computational Methods for Blade Icing Detection of Wind Turbines
Content-Based Image Retrieval - Ideas, Influences, and Current Trends
High-Orders Motion Analysis - Computer Vision Methods
The Data Mining and Knowledge Discovery Handbook
Verifiability of Electronic Voting: Between Confidence and Trust
The Case of the 2008 German-US Agreement on Data Exchange: An Opportunity to Reshape Power Relations?
From Unsolicited Communications to Unsolicited Adjustments
The Role of Private Lawyers in the Data Protection World
The Emerging European Union Security Breach Legal Framework: The 2002/58 ePrivacy Directive and Beyond
Transfer and Monitoring: Two Key Words in the Current Data Protection Private Practice: A Legal Practitioner's View
Electronic Voting in Germany
Some Caveats on Profiling
Responding to the Inevitable Outcomes of Profiling: Recent Lessons from Consumer Financial Markets, and Beyond
About the E-Privacy Directive: Towards a Third Generation of Data Protection Legislation?