yusuke1997/dblp-id-title huggingface dataset:
Modeling of Configurable HW/SW-Interfaces
A New High-Level Synthesis Approach of a Synchronous Bit-Serial Architecture
Formale Verifikation von LTL-Formeln für SystemC-Beschreibungen
C-based Design of Systems-on-Chip: An EDA Perspective
System level modeling of Networks-on-Chip for power estimation and design space exploration
Don't Care Minimization of BMDs: Complexity and Algorithms
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen
Ein kompositioneller Ansatz zur Synthese von Datenpfaden
Formale Modellierung der Partitionierung eines gemischt analog/digitalen Systems
Transformierende Synthese zur Verlustleistungsreduktion mittels Partitionierung
A Scalable, Configurable and Programmable Vector Dot-Product Unit for Edge AI
Automatische Übersetzung von MATLAB/Simulink-Modellen nach SystemC-AMS
Worst-Case Response Time Analysis of Earliest Deadline First in an Industrial Case Study
Formale Verifikation der Register-Allokation
Effiziente Simulation von Gateoxiddefekten auf Gatterebene mit Transistorlevel-Genauigkeit
Ein konfigurierbarer Zwischencodesimulator zum compilerzentrierten Mikroprozessorentwurf
Verifikation Rekonfigurierbarer Scan-Netze
Enhanced Integration of QBF Solving Techniques
A Re-Use Methodology for SoC Protocol Compliance Verification
Verification of Designs Containing Black Boxes
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015
Towards a Rocket Chip Based Implementation of the RISC-V GPC Architecture
Memory-aware Bounded Model Checking for Linear Hybrid Systems
A Model Checker for a Partial Order based Model of Concurrency
Entwurf von Controller-Schaltungen für Kommunikationsprotokolle mit dem Protocol-Compiler von Synopsys
Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003
Modellierung und Simulation von Networks-on-Chip mit OSCI TLM2
Efficient Pattern-Based Verification of Connections to Intellectual Property Cores
Automated Test Suites for Modern Aircraft Controllers
xCDM -- Ein interaktives Werkzeug zur graphenbasierten Systemmodellierung
Automatisches Verstärken und Beweisen von Invarianten mit Hilfe von Gegenbeispielen
Laufzeitoptimierte VHDL Bibliothek zur Verifikation und Simulation Kryptographischer Prozessoren
Conflict-based Selection of Branching Rules in SAT-Algorithms
Hardware/Software Co-design of a Smart Sensor Interface Using a Fast but Accurate Close-to-RTL Instruction Set Interpreter
Eine durchgängige und werkzeuggestützte Entwicklungsumgebung für eingebettete Hardware/Software Systeme
Industrial Experience with Formal Verification
Synthesis of Parallel Sorting Networks using SAT Solvers
Towards the impact of state encoding on induction-based property checking
AVACS -- Automatic Verification and Analysis of Complex Systems
Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing
Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS
Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP
Regeln für die Erstellung von VHDL-AMS-Modellen
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC
Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen
Energy-efficient Deployment of Deep Learning Applications on Cortex-M based Microcontrollers using Deep Compression
HDL-Synthese und Simulation von Hochgeschwindigkeits-Digitalschaltungen mit gemischten CMOS- und ECL-Bibliotheken
Datenbanken zur konsistenten Speicherung von Entwurfsdaten für eingebettete Systeme
Automated Feature Localization for Hardware Designs using Coverage Metrics
High-Level Architecture Modelling Assisting the Processor Platform Development, Debugging and Simulation
Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing
Durchgängiges Kommunikationsdesign für den strukturalen, objektorientierten Hardwareentwurf
ICP and IC3 with Stronger Generalization
"Multi-Architecture-Modeling" Entwurfsmethode für Mixed-Signal- und Multi-Domain-Systemsimulation
Adaptive Bus Line Grouping for Power Efficient Data Transfer over Wide System Buses
Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung über die HW/SW-Grenze eines Configurable System on Chip (CSoC)
Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik
Symbolic Model Checking with Isomorphism Exploiting Transition Relations
Semiformal Verification of Temporal Properties in Embedded Software
Virtual Prototyping of Embedded Systems by High-Level Modeling and Simulation
Efficient SAT/simulation-based model generation for low-level embedded software
Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften
Erstellung korrekter Spezifikationen für diskrete Systeme
High Level Testbench Transformation for Pipelined Components
Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012
Erstellung von C++-Modellen analoger Leistungselektronik zur schnellen Systemsimulation
Emulation synthetisierter Verhaltensbeschreibungen mit VLIW-Prozessoren
Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen
Modellbasierte Erfassung von Optimierungsaktivitäten als Grundlage zur Systemoptimierung von Elektrik-/Elektronik-Architekturen
Modelling and Synthesis of Communication Using OSSS-Channels
Architektur für das echtzeitfähige Debugging ausführbarer Modelle auf rekonfigurierbarer Hardware
Actor-oriented Modeling of Driver Assistance Systems for Efficient Multi-Core ECU Implementation
Exploiting Model-Knowledge in High-Level Synthesis
The DELICES Project: Indexing Scientific Literature Through Semantic Expansion
Fusion strategies to combine topical and temporal information for publication venue recommendation
MLWIKIR: A Python Toolkit for Building Large-scale Wikipedia-based Information Retrieval Datasets in Chinese, English, French, Italian, Japanese, Spanish and More
Prediction and Visual Intelligence for Security Information: The PREVISION H2020 Project
Beaver: Efficiently Building Test Collections for Novel Tasks
Categorized Bandits
HOPE (High Order Profile Expansion) for the New User Problem on Recommender Systems
Studies on Interactive Event Detection and Labeling from Timestamped Texts
Say it with Emojis: Co-designing Relevance Cues for Searching in the Classroom
Proceedings of the 2nd Joint Conference of the Information Retrieval Communities in Europe (CIRCLE 2022), Samatan, Gers, France, July 4-7, 2022
Evaluation of Conversational Agents for Aerospace Domain
Retrospective Tweet Summarization: Investigating Neural Approaches for Tweet Retrieval
Multi-level Semantic Representation Model for Code Search
Using CHERCHE to Empower Newcomers into Neural Information Retrieval - Extended Abstract
Continual Learning of Long Topic Sequences in Neural Information Retrieval - abstract
Accounting for User's Knowledge and Search Goals in Information Retrieval Evaluation - Extended Abstract
Tag-based embedding representations in neural collaborative filtering approaches
Temporal and Topical Profiles for Expert Finding
Supporting Serendipitous Recommendations With Knowledge Graphs
What Snippets Feel: Depression, Search, and Snippets
Proof of Concept and Evaluation of Eye Gaze Enhanced Relevance Feedback in Ecological Context
From opinion mining to document search: an overview of applicative use-cases along with practical implementation issues and open research questions
An Argument-based Search Framework: Implementation on a Spanish Corpus in the E-Participation Domain
Relevance Model Augmented with Inter-Collection Co-occurrence Statistics for Ad-hoc Retrieval in Precision Medicine
A Study on the Impact of Class Distribution on Deep Learning - The Case of Histological Images and Cancer Detection - Extended Abstract
Experiencias y Lecciones Aprendidas Sobre Búsqueda de Expertosy Filtrado de Documentos en un Contexto Parlamentario
Knowledge Based Transformer Model for Information Retrieval
Capturing Entity Hierarchy in Data-to-Text Generative Models
Exploring SBERT and Mixup Data Augmentation in Rhetorical Role Labeling of Indian Legal Sentences
We've Only Just Begun: Children Searching in the Classroom
Anorexia Topical Trends in Self-declared Reddit Users
Similitud Topológica de Usuarios: Aplicación a Los Sistemas de Recomendación
Improved Compressed String Dictionaries
Aspect-based Active Learning for User Preference Elicitation in Recommender Systems
Exploring Models for Automatic Keyword Labelling of Scientific Documents
Adapting Transformers for Multi-Label Text Classification
Using CoST on self-assessment domain expertise in complex search tasks
Semantic Annotation and Retrieval of Parliamentary Content: A Case Study on the Spanish Congress of Deputies
Proceedings of the First Joint Conference of the Information Retrieval Communities in Europe (CIRCLE 2020), Samatan, Gers, France, July 6-9, 2020
Fair Exposure of Documents in Information Retrieval: a Community Detection Approach
Multi-element protocol on IR experiments stability: Application to the TREC-COVID test collection
Information Retrieval Is Going Conversational
Effect of Hierarchical Domain-specific Language Models and Attention in the Classification of Decisions for Legal Cases
Labelling Companies Referred to in Newspaper Articles
Deep Unordered Composition for Multi-label Classification Applied to Skill Prediction
Resume: A Robust Framework for Professional Profile Learning & Evaluation
TemporalWord Embeddings for Early Detection of Signs of Depression
Social Minder: a Tool for Social Media Monitoring and its Use for Detecting COVID-19 Misinformation
A Study of Lexical Matching in Neural Information Retrieval - Abstract⋆
Capitalizing on a TREC Track to Build a Tweet Summarization Dataset
Automatic Annotation of Change in Earth Observation Imagery
Active Learning and the Saerens-Latinne-Decaestecker Algorithm: An Evaluation
On the Usability of Transformers-based models for a French Question-Answering task - abstract
Does Structure Matter? Leveraging Data-to-Text Generation for Answering Complex Information Needs - Abstract
eXtream: a System for Real-time Monitoring of Dynamic Web Sources
Selective Query processing: A Risk Sensitive Approach - Abstract
On the Reproducibility of Experiments of Indexing Repetitive Document Collections
When Truncated Rankings Are Better and How to Measure That - Abstract
Multi-task Learning for Hate Speech and Aggression Detection
On the Reproduciblity and Robustness of Query Performance Prediction Experiments - An Extended Abstract
Early Detection of Depression and Anorexia from Social Media: A Machine Learning Approach
Using BERT and BART for Query Suggestion
Event Detection and Time Series Alignment to Improve Stock Market Forecasting
TIPS: Search and Analytics for Social Science Research
AnalyzeLab: a Tool to Help Machine Learning Developers Evaluating their Models
Forecasting Patent Growth by Combining Time-Series Signals Using Covariance Patterns
Analysis of Co-movement Pattern Mining Methods for Recommendation
A Framework for User Assistance on Predictive Models
Structured Argumentation Modeling and Extraction: Understanding the Semantics of Parliamentary Content
Interactive Query Clarification and Refinement via User Simulation - Abstract
Text Clustering based on Multi-View Representations
Calor-Dial : a corpus for Conversational Question Answering on French encyclopedic documents
Intra-document Block Pre-ranking for BERT-based Long Document Information Retrieval - Abstract
Chinese Character Learning by Synchronization in Wilson-Cowan Oscillatory Neural Networks
Research and application of solution of Vehicle Routing Problem based on GIS
Multi-path traces in semantic graphs for latent knowledge elicitation
Complexity avoidance using biological resemblance of modular multivariable structure
Rolling Bearings Fault Diagnosis Based on Adaptive Gaussian Chirplet Spectrogram and Independent Component Analysis
Construction project risk evaluation based on Rough Sets and Artificial Neural Networks
Applying Advanced Fuzzy Cellular Neural Network AFCNN to Segmentation of Serial CT Liver Images
Modeling closed-loop supply chain with dominant retailer considering fairness concern
Optimal Design for Urban Mass Transit Network Based on Evolutionary Algorithms
Research on Confusion Network Algorithm Based on Minimum Bayes Risk Decision Rule
Financial crisis predictions based on biorthogonal wavelet hybrid kernel support vector machine
Verification of Possibility of Forecasting Economical Time Series Using Neural Network and Digital Filter
Study on association between user's personality and individual characteristic of left prefrontal pole EEG activity
Designing Security Protocols Using Novel Neural Network Model
A routing computation method In IP networks
A NAM-based Edge Detection Algorithm
Study of a Fault Diagnosis Method Based on Elman Neural Network and Trouble Dictionary
Conversion and verification of recursive structure in PI-calculus with compositional petri-NET
Quantum Reinforcement Learning
Research of Blind Deconvolution Algorithm Based on High-Order Statistics and Quantum Inspired GA
Fault diagnosis of bearing using wavelet packet transform and PSO-DV based neural network
Heat value identification of coal in utility boilers with neural network
Fuzzy comprehensive quality evaluation on undergraduate students based on lobe component analysis
Cluster and dynamic-TrAdaBoost-based transfer learning for text classification
Basic Concepts in Covering-Based Rough Sets
Improved Full State Hybrid Projective Synchronization in a Autonomous Chaotic System
Spiking Neural Network Classification Method in Motor Imagery Brain-Computer Interface
Texture Image Retrieval Based on Rotated Complex Wavelet Signatures
Time Series Prediction Based on Improved Arithmetic of Support Vector Regression
Mixtures of Kernels for SVM Modeling
Cellular competitive decision algorithm for binary knapsack problem
Estimation of low-frequency motion for ship Dynamic Positioning
Stackelberg model under hard-block mode in a codeshare problem
A Novel Classification-Rejection Sphere SVMs for Multi-class Classification Problems
Projective synchronization control of unknown chaotic neural networks with delay and noise perturbation
Feature Extraction and Classification of Mental EEG for Motor Imagery
Mutually authenticated quantum direct communication based on entanglement swapping
Automatically face detection based on BP neural network and Bayesian decision
Analysis for Agent technique and its applications
Inquiry to the Effectiveness of Genetic Algorithms for Accurate Global Optimization of Continuous Functions
A Hybrid Genetic Algorithm for Simultaneous Feature Selection and Rule Learning
Recognition of Degraded Traffic Sign Symbols Using PNN and Combined Blur and Affine Invariants
An Improved Estimation of Distribution Algorithm in Dynamic Environments
A New Approach to Enterprise Information Fusion: Choquet-Fuzzy-Integral-Based Neural Network
Model of Hyper Topology Structure about Associative Thinking
The warning system of vehicles' driving safety based on network
A retina-filtering model and its application in image restoration
Mosaic method based on feature points detection and tracking for unmanned aerial vehicle videos
A Survey on Image Classification of Lightweight Convolutional Neural Network
Demand Forecasting by Using Support Vector Machine
Selective Dynamic Principal Component Analysis Using Recurrent Neural Networks
Fuzzy logical flow regime identification for two-phase flow
Stability in Bidirectional Associative Memory Networks with Time Delays
Clustering analysis on disease severity of wheat stripe rust based on SOM neural network
A clustering based adaptive DAG for multiclass Support Vector Machine
Stability Analysis of Uncertain Stochastic Neural Networks with Interval Time-Varying Delays
Time series prediction based on sparse SVR
Study on the application of the hierarchical fuzzy neural network in the fault diagnosis of the asynchronous motor
An Algorithm for Bayesian Networks Structure Learning Based on Simulated Annealing with MDL Restriction
Design and simulation a fuzzy-adaptive PI controller based on MRAS
Sixth International Conference on Natural Computation, ICNC 2010, Yantai, Shandong, China, 10-12 August 2010
The Available Transfer Capability based on a chaos cloud particle swarm algorithm
Combustible gas monitoring based on ZigBee and network building techniques
Performance evaluation of state-owned listed company in Anhui province based on different subjects
Neurocognitive Perception Process: A Case Study
A method for principal components selection based on stochastic matrix
Shift quality evaluation system based on neural network for DCT vehicles
Edge detection for aluminum alloy MIG welding pool based on pulse coupled neural network
Application of ACO in Continuous Domain
Convergence and stability results of Zhang neural network solving systems of time-varying nonlinear equations
A novel management system of equipment sharing platform based on Private Trackers model
A New Cascade Software Reliability Model
Support Vector Regression with Smoothing Property
A Hybrid Tactical Plan Recognition Method Base on Planning System
Intelligent model of microwave low-pass filter using PDGS with defected rectangles
Research on Vehicle Image Classifier Based on Concentration Regulating of Immune Clonal Selection
An empirical study on differential evolution for optimal power allocation in WSNs
Bidirectional LSTM-CRF for biomedical named entity recognition
A novel face recognition method based on the local color vector binary patterns of features localization
Adaptive clustering routing optimization for wireless sensor networks
Grid Resource Allocation Based on Evolutionary Algorithm
Application of LS_SVM and Deconvolution Method in Fault Diagnosis for Discrete Time-Delay Systems
Design and implementation of bus real-time human traffic statistics system
Definition of Danger Signal in Artificial Immune System with Cloud Method
Natural Numbers, Natural Language: Architecting the Semantic Web
A Stochastic Model for Mid-to-Long-Term Runoff Forecast
A Dynamic Congestion Pricing Model Based on SDUO-DT/RC
A semi supervised clustering method using relative compactness
Abnormal condition diagnosis for process industry based on virtual sensing technology
A 32-Bit Binary Floating Point Neuro-Chip
Study on a Zerilli-Armstrong and an artificial neural network model for 4Cr5MoSiV1 Quenched Steel at High Strain Rate
Improved Gated Convolutional Neural Network used for Aspect-based Sentiment Analysis
On using cached results to enumerate maximal k-cliques in GeneWeaver
Formal approach of chance discovery theory for agents' interaction
Research on the system of ship damage case recognition and damage control knowledge acquisition
A Neural Network-Based Approach to Modeling the Allocation of Behaviors in Concurrent Schedule, Variable Interval Learning
A Research about Multi-objective Evaluation Method of Factory Location Based on the Triangular Fuzzy Number
A Hybrid RST and GA-BP Model for Chinese Listed Company Bankruptcy Prediction
Colony Evolution in Social Networks Based on Multi-agent System
Coordinated real-time control algorithm for multi-crossing traffic lights
Simulation and Investigation of Quantum Search Algorithm System
A Selfish Non-atomic Routing Algorithm Based on Game Theory
Kernel-Based Cellular Automata for Urban Simulation
Service discovery middleware based on QoS in VANET
Effect of Clothing Pressure Exerted by the Girdle on Female's Autonomic Nervous System Evaluated by Heart Rate Variability Power Spectral Analysis
Product defects detection based on features fusion and the multi-scale sliding window
Stable feature selection with ensembles of multi-reliefF
Unsupervised Change Detection in High Spatial Resolution Optical Imagery Based on Modified Hopfield Neural Network
Geometric Feature Equalizers Based on Hybrid Genetic Algorithm
Sub-sectional Control of the Compass-Like Biped Robot
Path Planning of AUV in Turbulent Ocean Environments Used Adapted Inertia-Weight PSO
The Algorithm of R Peak Detection in ECG Based on Empirical Mode Decomposition
Locally Determining the Number of Neighbors in the k-Nearest Neighbor Rule Based on Statistical Confidence
Adaptive Particle Swarm Optimization-based Web service selection
DPSO-based Rectilinear Steiner Minimal Tree construction considering bend reduction
Primes compete for responses with taregts evidence for a combind mechanism underlying affective priming in naming task
Cooperative target assignment for unmanned combat aerial vehicles based on Bayesian optimization algorithm with decision graphs
Markov chain-based flight operations risk analysis
Context-sensitive computation in Trustworthy computing
Reseach of information filtering model based on BP artificial neural network And Genetic Algorithm
Agent-based simulation for enterprise capabilities under complex dynamic environments
Mapping grassland vegetation cover based on Support Vector Machine and association rules
An Evolving Wavelet-Based De-noising Method for the Weigh-In-Motion System
Fruit recognition based on convolution neural network
The implementation of Wavelet Transform based on log-domain circuits
A Edge Feature Matching Algorithm Based on Evolutionary Strategies and Least Trimmed Square Hausdorff Distance
Analysis of temperature and q-parameter dependencies of FCM with Tsallis entropy maximization
Video Encoder Optimization Implementation on Embedded Platform
A Discrete Sine Cosine Algorithm with Enhanced Comprehensive Learning for Feature Selection
Two-dimensional short-range microwave holography algorithm and convolutional gridding
A New Long-Step Path-Following Interior-Point Method with O(vnL) Iteration-Complexity Bound for Semidefinite Programming
Terrain Classification Using Clustering Algorithms
Automated Construction Chinese Domain Ontology from Wikipedia
Towards a semi-automatic method for building Chinese tax domain ontology
Research on collaboration patterns of ICMSE conference coauthors network
Research on Floating-Point Encryption Based on Extended CryptDB
Forecasting of the Reactive Dyes K/S Value Based on BP Nerve Network
A Self-Adaptive Improved Particle Swarm Optimization Algorithm and Its Application in Available Transfer Capability Calculation
Main Direction - An Effective Statistic for Hyperspectral Image Classification
Bifurcation analysis for two coupled Fitzhugh-Nagumo neurons
FPRGA Based on Construction of Multiwavelets in Term of a Novel Transformation
Utilizing grammatical relations to improve recall and precision in a textual database
A hybrid genetic algorithm to solve 3-SAT problem
Improved hybrid particle swarm optimization algorithm
Dynamic Behavior of a Multiple Species Prey-Predator System with Impulsive Chemical and Biological Control
A Genetic Algorithm-Based Routing Service for Simulation Grid
Observers of control state and uncertainty using Takagi-Sugeno fuzzy model
Enhancing Intelligent Agents with Information Retrieval Techniques
Techno-Economic Design and Optimal Operation of Active Radial Active Distribution Network Using Online Optimizer: Real Case Study in Sohag, Egypt
Estimation of distribution algorithms for no-wait flow shop problem
The Building of Chinese Emotion Thesaurus Using HowNet Based on the Main Sememe
Application of FLAC in Foundation Pit with Compound Soil Nailing Support
Multi-objective optimization design of vehicle suspension based on Stackelberg
Sample-system-based domain feature model validation
MERGE: A Novel Evolutionary Algorithm Based on Multi Expression Gene Programming
A growing mixed Self-Organizing Map
A Novel Edge Detection Technique with Orientation-Based Similarity and Immunological Principles