yusuke1997/dblp-id-title huggingface dataset:
Estimation of Human Internal Temperature from Wearable Physiological Sensors
Towards Applying Interactive POMDPs to Real-World Adversary Modeling
Policies to Optimize Work Performance and Thermal Safety in Exercising Humans
Clavier: Applying Case-Based Reasoning to Composite Part Fabrication
PCE: Generating Business Plans for New Products
Gaudii: An Automated Graphic Design Expert System
Not So Naive Online Bayesian Spam Filter
Proceedings of the Thirteenth Innovative Applications of Artificial Intelligence Conference, August 7-9, 2001, Seattle, Washington, USA
Surveillance of Parimutuel Wagering Integrity Using Expert Systems and Machine Learning
ERASME: A Multi-Expert System for Pavement Assessment and Rehabilitation
Multi-Agent Simulation of En-Route Human Air-Traffic Controller
Statistical Relational Learning to Predict Primary Myocardial Infarction from Electronic Health Records
Emerging Applications for Intelligent Diabetes Management
Collaborative Kodama Agents with Automated Learning and Adapting for Personalized Web Searching
Trading Robustness for Privacy in Decentralized Recommender Systems
Intelligent Text Comparison in Software Validation
Metropolitan Fixed Assets Change Judgment using Aerial Photographs
Transcription System Using Automatic Speech Recognition for the Japanese Parliament (Diet)
AKnowledge-Based Emergency Control Advisory System
Electric Elves: Applying Agent Technology to Support Human Organizations
MACPlan: A Mixed Initiative Approach to Airlift Planning
A Data-Mining Approach to 3D Realistic Render Setup Assistance
Clustering Hand-Drawn Sketches via Analogical Generalization
SlurryMinder: A Rational Oil Well Completion Design Module
National Dispatcher Router: A Multi-Paradigm Based Scheduling Advisor or From Prototype to Production System
Optimizing Limousine Service with AI
CONSTRUE/TIS: A System for Content-Based Indexing of a Database of News Stories
Task Assistant: Personalized Task Management for Military Environments
Times: An Expert System for Media Planning
SABRE
Train Outstable Scheduling as Constraint Satisfaction
Automatic Letter Composition for Customer Service
Monitoring Entities in an Uncertain World: Entity Resolution and Referential Integrity
Teachable Agents: Learning by Teaching Environments for Science Domains
AGETS MBR: An Application of Model-Based Reasoning to Gas Turbine Diagnostics
Scheduling of Marine Resources in the Port of Singapore Authority: A Total Approach
Proceedings of the Twenty-First Conference on Innovative Applications of Artificial Intelligence, July 14-16, 2009, Pasadena, California, USA
AMTS Automated Money Transfer Service (AMTS)
Charley: An Expert System for Diagnostics of Manufacturing Equipment
The Ford Motor Company Direct Labor Management System
Computer-Aided Parts Estimation
The Stock Sonar - Sentiment Analysis of Stocks Based on a Hybrid Approach
The Credit Clearing House Expert System
Pitch Expert: A Problem--Solving System for Kraft Mills
Using AI to Solve Inspection Scheduling Problem for a Buying Office
Learning Driver's Behavior to Improve the Acceptance of Adaptive Cruise Control
Statistical Anomaly Detection for Train Fleets
Interactive Information Extraction and Navigation to Enable Effective Link Analysis and Visualization of Unstructured Text
CARMA: A Case-Based Range Management Advisor
TEXTAL TM : Artificial Intelligence Techniques for Automated Protein Structure Determination
Knowledge-Based Code Inspection with ICICLE
Cooperating Artificial Neural and Knowledge-Based Systems in a Truck Fleet Brake-Balancing Application
Integrating Digital Pens in Breast Imaging for Instant Knowledge Acquisition
Integrated Problem Resolution for Business Communications
Early Prediction of Coronary Artery Calcification Levels Using Machine Learning
Expert Operator: Deploying YES/MVS II
A Wiki with Multiagent Tracking, Modeling, and Coalition Formation
AI-Based Software Defect Predictors: Applications and Benefits in a Case Study
AES: SunAmerica's Appointment Expert System
The Intelligent Banking System
TPF Dump Analyzer
Scalable Models for Patterns of Life
Automatically Mapping Natural Language Requirements to Domain-Specific Process Models
AL 2 X: An Expert System for Off-Site Evaluation of Commercial Bank Financial Stability
The VLS Tech Assist Expert System (VTAEXS)
Using a Critic to Promote Less Popular Candidates in a People-to-People Recommender System
NYNEX MAX: A Telephone Trouble Screening Expert
A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems
Mechanix: A Sketch-Based Tutoring System for Statics Courses
Application-Driven Architecture: A Case Study of Syntel
A Tool for Gas Turbine Maintenance Scheduling
Reinforcement Learning for Closed-Loop Propofol Anesthesia: A Human Volunteer Study
Computers Assist Humans in Human Resources
QDES: Quality-Design Expert System for Steel Products
Planning the Discharging and Loading of Container Ships
The PepPro Peptide Synthesis Expert System
Online Learning of Spacecraft Simulation Models
Natural Language Sales Assistant - A Web-Based Dialog System for Online Sales
Infrastructure Components for Large-Scale Information Extraction Systems
Case-Based Meta-Prediction for Bioinformatics
Inspector: An Expert System for Monitoring Worldwide Trading Activities in Foreign Exchange
Help Desk: Using AI to Improve Customer Service
OPERA: A Highly Interactive Expert System for Outside Plant Engineering
Multiagent Router Throttling: Decentralized Coordinated Response Against DDoS Attacks
Applying Constraint Programming to Incorporate Engineering Methodologies into the Design Process of Complex Systems
A Truly Magic Solution
Local Search for Designing Noise-Minimal Rotorcraft Approach Trajectories
A Probabilistic Vehicle Diagnostic System Using Multiple Models
A Real-Time Decision Support System for High Cost Oil-Well Drilling Operations
MOCCA: A Set of Instruments to Support Mortgage Credit Granting
NewsFinder: Automating an Artificial Intelligence News Service
An Emergency Landing Planner for Damaged Aircraft
Proceedings of the Fifteenth Conference on Innovative Applications of Artificial Intelligence, August 12-14, 2003, Acapulco, Mexico
Digitized Expert PICTures (DEPICT): An Intelligent Information Repository
The Multimission VICAR Planner: Automated Image Processing for Scientific Data Analysis
OHCS: Hydraulic Circuit Design Assistant
Managing Product Quality By Integrating Operations Research and Artificial Intelligence Technologies
Toward Habitable Assistance from Spoken Dialogue Systems
Building Agents for the Customer Service Front
Automatic Programming for Sequence Control
The Operations Overtime Scheduling System
The DRAIR Advisor: A Knowledge-Based System for Materiel Deficiency Analysis
Predicting Falls of a Humanoid Robot through Machine Learning
ANALYST - An Advisor for Financial Analysis of Automobile Dealerships
Putting Knowledge-Based Concepts to Work for Generic PLC Programming
Agent-Based Decision Support: A Case-Study on DSL Access Networks
Learning by Demonstration to Support Military Planning and Decision Making
Sentiment Extraction: Integrating Statistical Parsing, Semantic Analysis, and Common Sense Reasoning
ReValuator - An Expert System Approach to Actuarial Valuations
An Application of Model-Based Reasoning in Experiment Design
Secure Mobile Agents on Ad Hoc Wireless Networks
An Ensemble Learning and Problem Solving Architecture for Airspace Management
An Expert Auditing System for Airline Passenger Tickets
Developing an End-to-End Planning Application from a Timeline Representation Framework
Design Advisor: A Knowledge-Based IC Design Critic
Proceedings of the The Second Conference on Innovative Applications of Artificial Intelligence (IAAI-90), Washington, DC, USA, May 1-3, 1990
Prism: A Case-Based Telex Classifier
COMPAQ QuickSource: Providing the Consumer with the Power of Artificial Intelligence
Coolsys: A Cooling Systems Design Assistant
A Knowledge-Based System within a Cooperative Processing Environment
A Sketch Recognition System for Recognizing Free-Hand Course of Action Diagrams
Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada
The Employee/Contractor Determiner
Proceedings of the The Third Conference on Innovative Applications of Artificial Intelligence (IAAI-91), Anaheim, CA, USA, July 14-19, 1991
The Credit Assistant: The Second Leg in the Knowledge Highway for American Express
Technology Transfer Utilizing Automated Knowledge Acquisition Tools
Broadcast News Understanding and Navigation
Model Based Test Generation for Processor Verification
Experience with the Development and Deployment of Expert Systems in Agriculture
Transparent Grid Computing: A Knowledge-Based Approach
Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management
Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges
On the Replicability of Experimental Tool Evaluations in Model-Based Development - Lessons Learnt from a Systematic Literature Review Focusing on MATLAB/Simulink
Reusable Data Visualization Patterns for Clinical Practice
Towards Consistency Checking Between a System Model and Its Implementation
Industrial Plant Topology Models to Facilitate Automation Engineering
Exploring Validity Frames in Practice
Systems Modelling and Management - First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings
Applying Dynamic Programming to Test Case Scheduling for Automated Production Systems
Simplified View Generation in a Deep View-Based Modeling Environment
A Model Based Slicing Technique for Process Mining Healthcare Information
A Model-Driven Mutation Framework for Validation of Test Case Migration
GrapeL: Combining Graph Pattern Matching and Complex Event Processing
Validity Frame Driven Computational Design Synthesis for Complex Cyber-Physical Systems
Policy Driven Remote Attestation
Building Efficient Integrity Measurement and Attestation for Mobile Phone Platforms
Security and Privacy in Mobile Information and Communication Systems - Second International ICST Conference, MobiSec 2010, Catania, Sicily, Italy, May 27-28, 2010, Revised Selected Papers
Privacy Enhanced Device Access
SAVAH: Source Address Validation with Host Identity Protocol
Secure Service Invocation in a Peer-to-Peer Environment Using JXTA-SOAP
Context-Aware Monitoring of Untrusted Mobile Applications
Gesture Authentication with Touch Input for Mobile Devices
Generating Random and Pseudorandom Sequences in Mobile Devices
Presenting the Brazilian Project TSAM - Security Technologies for Mobile Environments
Event-Based Method for Detecting Trojan Horses in Mobile Devices
Context-Aware, Data-Driven Policy Enforcement for Smart Mobile Devices in Business Environments
A Privacy-Enabled Architecture for Location-Based Services
Private Pooling: A Privacy-Preserving Approach for Mobile Collaborative Sensing
Can a Mobile Cloud Be More Trustworthy than a Traditional Cloud?
An ECDLP-Based Threshold Proxy Signature Scheme Using Self-Certified Public Key System
An Autonomous Attestation Token to Secure Mobile Agents in Disaster Response
Verifying the Location of a Mobile Device User
Using Extracted Behavioral Features to Improve Privacy for Shared Route Tracks
Formal Security Analysis of OpenID with GBA Protocol
Information Reconciliation Using Reliability in Secret Key Agreement Scheme with ESPAR Antenna
Scalable Trust Assessment and Remediation of Wireless Devices
ID-Based Deniable Authentication Protocol Suitable for Mobile Devices
Extending the Belgian eID Technology with Mobile Security Functionality
Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications
A Robust Conditional Privacy-Preserving Authentication Protocol in VANET
Simple Peer-to-Peer SIP Privacy
Enhancing Privacy-Preserving Access Control for Pervasive Computing Environments
PEPPeR: A Querier's Privacy Enhancing Protocol for PaRticipatory Sensing
Optimized Resource Access Control in Shared Sensor Networks
A Guidance Model for Architecting Secure Mobile Applications
Securing Mobile Device-Based Machine Interactions with User Location Histories
Energy Efficiency Measurements of Mobile Virtualization Systems
Android Security Permissions - Can We Trust Them?
AES Data Encryption in a ZigBee Network: Software or Hardware?
Filtering SPAM in P2PSIP Communities with Web of Trust
Security and Privacy in Mobile Information and Communication Systems - Third International ICST Conference, MobiSec 2011, Aalborg, Denmark, May 17-19, 2011, Revised Selected Papers
On Modeling Viral Diffusion in Heterogeneous Wireless Networks
APEFS: An Infrastructure for Permission-Based Filtering of Android Apps
Algorithms for Advanced Clandestine Tracking in Short-Range Ad Hoc Networks
Providing Strong Security and High Privacy in Low-Cost RFID Networks
Protecting Privacy and Securing the Gathering of Location Proofs - The Secure Location Verification Proof Gathering Protocol
Safe, Fault Tolerant and Capture-Resilient Environmental Parameters Survey Using WSNs
XtreemOS-MD SSO - A Plugable, Modular SSO Software for Mobile Grids
User Authentication for Online Applications Using a USB-Based Trust Device
LoPSiL: A Location-Based Policy-Specification Language
A Novel Scheme for Supporting Location Authentication of Mobile Nodes
Security Aspects of Smart Cards vs. Embedded Security in Machine-to-Machine (M2M) Advanced Mobile Network Applications
On Trust Evaluation in Mobile Ad Hoc Networks
A Mobile and Reliable Anonymous ePoll Infrastructure
Digital Holography for Security Applications
An Analysis of the iKee.B iPhone Botnet
Security and Privacy in Mobile Information and Communication Systems, First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers
A Context-Aware Privacy Policy Language for Controlling Access to Context Information of Mobile Users
Secure Distribution of the Device Identity in Mobile Access Network
Agent Based Middleware for Maintaining User Privacy in IPTV Recommender Services
Personalized Mobile Services with Lightweight Security in a Sports Association
Fingerprint Recognition with Embedded Cameras on Mobile Phones
Mobile Smart Card Reader Using NFC-Enabled Smartphones
Claim-Based versus Network-Based Identity Management: A Hybrid Approach
Mobile WiMAX Network Security
A Context-Aware Security Framework for Next Generation Mobile Networks
Program Structure-Based Feature Selection for Android Malware Analysis
Securing Data Privacy on Mobile Devices in Emergency Health Situations
Network Resilience in Low-Resource Mobile Wireless Sensor Networks
Mobile Security with Location-Aware Role-Based Access Control
A Distributed Data Storage Scheme for Sensor Networks
A Rich Client-Server Based Framework for Convenient Security and Management of Mobile Applications
Android Market Analysis with Activation Patterns
Security and Privacy in Mobile Information and Communication Systems - 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Revised Selected Papers
Orthogonal Least Squares in Partition of Unity Surface Reconstruction with Radial Basis Function
Faces and Facial Features Detection in Color Images
Image Retrieval of Songket Motifs Using Simple Shape Descriptors
DIJA PROJECT: Forging Preforms Design Using Trade Knowledge
Modeling and Rendering of DPP-Based Light Fields
Clustering Approach to Content Based Image Retrieval
Knowledge Discovery of Traffic/People Behaviors Based on Image Mining Approach
Collaborative Design: From Concept to Application
FGS: Computer Simulation System in Generating Fractals
Fuzzy Neural Networks and Genetic Algorithms for Medical Images Interpretation
Multiresolution Hierarchy for Real-Time Cartoon-Style Rendering
Content-Based Retrieval of Images for Cultural Institutions Using Local Descriptors
Constrained Shape Control of Bicubic B-Spline Surfaces by Knots
Recognition of Off-Line Handwritten Arabic Words Using Neural Network
Graphics and the Understanding of Perceptual Mechanisms: Analogies and Similarities
Object Recognition Using Moments: Some Experiments and Observations
A Joint Distribution Approach for Audio Signal Discrimination
Interoperability among CAD/CAM/CAE Systems: A Review of Current Research Trends
Toolpath Pattern Comparison: Contour-Parallel with Direction-Parallel
Arabic OCR Based on Image Invariants
Modeling Deformable Objects for Computer-Aided Sculpting (CAS) Modeling Deformable Objects for Computer-Aided Sculpting (CAS)
An Integrated System for Virtual Scene Rendering, Stereo Reconstruction and Accuracy Estimation.
Image Restoration by Partial Differential Equations
Generating Surface Textures based on Cellular Networks
An Analysis of Linear and Non-Linear Interpolation Techniques for Three-Dimensional Rendering
3D Object Reconstruction Using Geometric Computing
Video Classification Using Normalized Information Distance
Multi-Class SVMs Based on Fuzzy Integral Mixture for Handwritten Digit Recognition
Virtual Multiresolution Screen Space Errors: Hierarchical Level-of-Detail (HLOD) Refinement Through Hardware Occlusion Queries
A New Method of Interactive Marker-Driven Free form Mesh Deformation
2006 International Conference on Geometric Modeling and Imaging, GMAI 2006, London, UK, July 5-7, 2006
Manipulation of Elastically Deformable Surfaces through Maya Plug-in
Automatic Diagrams Analysis
Visual Hand Tracking Algorithms
A Tabu Search Meta-Heuristic for Image Semi-Supervised Classification
Model Based Facial Pose Tracking Using a Particle Filter
An Efficient Feature Based Matching Algorithm for Stereo Images
High-Performance Rendering on Clusters of Workstations
Recognition of Arabic Cursive Handwriting
Arabic Character Recognition using Modified Fourier Spectrum (MFS)
Computer Assisted Surgical Planner for Craniofacial Reconstruction - Imaging Techniques
Visualization of Temporal-Oriented Datasets
Lattice Boltzmann Method for Real-Time Simulation of Lava Flows
Novel Phylogenetic Network Distances Based on Cherry Picking
Algorithms for Analysis and Control of Boolean Networks
Robustness of the Parsimonious Reconciliation Method in Cophylogeny
Time Series Adjustment Enhancement of Hierarchical Modeling of Arabidopsis Thaliana Gene Interactions
The Maximum Weight Trace Alignment Merging Problem
On Sorting of Signed Permutations by Prefix and Suffix Reversals and Transpositions
Approximation Algorithms for Sorting Permutations by Fragmentation-Weighted Operations
Symbolic Detection of Steady States of Autonomous Differential Biological Systems by Transformation into Block Triangular Form
Scalable and Accurate Phylogenetic Placement Using pplacer-XR
Algorithms for Computational Biology - 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7-11, 2021, Proceedings
Linear Time Algorithm for Tree-Child Network Containment
Best Match Graphs with Binary Trees
A Recovery Algorithm and Pooling Designs for One-Stage Noisy Group Testing Under the Probabilistic Framework
Complexity and Polynomial-Time Approximation Algorithms around the Scaffolding Problem
Quantifying Information Flow in Chemical Reaction Networks
Utilize Imputation Method and Meta-analysis to Identify DNA-Methylation-Mediated microRNAs in Ovarian Cancer
Learning Molecular Classes from Small Numbers of Positive Examples Using Graph Grammars
Using INC Within Divide-and-Conquer Phylogeny Estimation
On Optimal Read Trimming in Next Generation Sequencing and Its Complexity
Inferring the Distribution of Fitness Effects (DFE) of Newly-Arising Mutations Using Samples Taken from Evolving Populations in Real Time
Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees Based on Subsets of Chloroplastic Core Genes
On Low Treewidth Graphs and Supertrees
Accumulated Coalescence Rank and Excess Gene Count for Species Tree Inference
Convolutional LSTM Networks for Subcellular Localization of Proteins
Implicit Transpositions in Shortest DCJ Scenarios
Parallel Biological Sequence Comparison in Linear Space with Multiple Adjustable Bands
A Uniform Theory of Adequate Subgraphs for the Genome Median, Halving, and Aliquoting Problems
Parallel Generalized Suffix Tree Construction for Genomic Data
Mapping-Free and Assembly-Free Discovery of Inversion Breakpoints from Raw NGS Reads
Bootstrapping Algorithms for Gene Duplication and Speciation Events
Gibbs/MCMC Sampling for Multiple RNA Interaction with Sub-optimal Solutions
Exact Protein Structure Classification Using the Maximum Contact Map Overlap Metric
Efficient Algorithms for Finding Edit-Distance Based Motifs
A Topological Data Analysis Approach on Predicting Phenotypes from Gene Expression Data
A Greedy Algorithm for Hierarchical Complete Linkage Clustering
A Closed-Form Solution for Transcription Factor Activity Estimation Using Network Component Analysis
Fast Algorithm for Vernier Search of Long Repeats in DNA Sequences with Bounded Error Density
On Algorithmic Complexity of Biomolecular Sequence Assembly Problem
A More Practical Algorithm for the Rooted Triplet Distance
Identification of Variant Compositions in Related Strains Without Reference
Generalizations of the Genomic Rank Distance to Indels
Modeling the Geometry of the Endoplasmic Reticulum Network
Relating Bisimulations with Attractors in Boolean Network Models
CSA-X: Modularized Constrained Multiple Sequence Alignment
RRCA: Ultra-Fast Multiple In-species Genome Alignments
Comparative Genomics Approaches to Identifying Functionally Related Genes
HapMonster: A Statistically Unified Approach for Variant Calling and Haplotyping Based on Phase-Informative Reads
A New Multi-objective Approach for Molecular Docking Based on RMSD and Binding Energy
Describing the Local Structure of Sequence Graphs
Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem
On the Diameter of Rearrangement Problems
Heuristics for Reversal Distance Between Genomes with Duplicated Genes
Comparing Methods for Species Tree Estimation with Gene Duplication and Loss
Constructing and Employing Tree Alignment Graphs for Phylogenetic Synthesis
MULKSG: MULtiple K Simultaneous Graph Assembly
PathRacer: Racing Profile HMM Paths on Assembly Graph
Algorithms for Computational Biology - 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13-15, 2020, Proceedings
Algorithms for Computational Biology - Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings
Sorting with Forbidden Intermediates
Algorithms for Computational Biology - 5th International Conference, AlCoB 2018, Hong Kong, China, June 25-26, 2018, Proceedings
Ranking Vertices for Active Module Recovery Problem
Enumerating Dominant Pathways in Biological Networks by Information Flow Analysis
An Efficient Algorithm for the Rooted Triplet Distance Between Galled Trees
A Fast Algorithm for Large Common Connected Induced Subgraphs
A Mathematical Model for Enhancer Activation Kinetics During Cell Differentiation
StreaM - A Stream-Based Algorithm for Counting Motifs in Dynamic Graphs
New Polynomial-Time Algorithm Around the Scaffolding Problem
Analysis and Classification of Constrained DNA Elements with N-gram Graphs and Genomic Signatures
Algorithms for Computational Biology - 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28-30, 2019, Proceedings
Reversal Distance on Genomes with Different Gene Content and Intergenic Regions Information
Algorithms for Computational Biology - First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedigns
Biomedical Applications of Prototype Based Classifiers and Relevance Learning
Extending Maximal Perfect Haplotype Blocks to the Realm of Pangenomics
Gaps and Runs in Syntenic Alignments
Evaluation and Improvement of Fast Algorithms for Exact Matching on Genome Sequences
Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver
BOAssembler: A Bayesian Optimization Framework to Improve RNA-Seq Assembly Performance
Consensus Decoding of Recurrent Neural Network Basecallers
The Trees in the Peaks
A 3.5-Approximation Algorithm for Sorting by Intergenic Transpositions
PathOGiST: A Novel Method for Clustering Pathogen Isolates by Combining Multiple Genotyping Signals