yusuke1997/dblp-id-title huggingface dataset:
Intention and task context connected with session in a cultural heritage collection
A subjective logic formalisation of the principle of polyrepresentation for information needs
The effect of cognitive abilities on information search for tasks of varying levels of complexity
Search strategies in multimodal image retrieval
Relevance judgements within the context of work tasks
The effect of task type and topic familiarity on information search behaviors
Comparing collaborative and independent search in a recall-oriented task
Learning user interests for a session-based personalized search
Information Interaction in Context: 2012, IIix'12, Nijmegen, The Netherlands, August 21-24, 2012
Model Based Human Pose Estimation in MultiCamera Using Weighted Particle Filters
Agent for Mining of Significant Concepts in DBpedia
Linked Library Data: Offering a Backbone for the Semantic Web
Representing E-Mail Semantically for Automated Ontology Building
High Level Semantic Concept Retrieval Using a Hybrid Similarity Method
Extending Information Retrieval by Adjusting Text Feature Vectors
A Framework for Knowledge Sharing and Interoperability in Agricultural Research for Development
An Image Annotation Technique Based on a Hybrid Relevance Feedback Scheme
Optimized Local Protein Structure with Support Vector Machine to Predict Protein Secondary Structure
Service Oriented Architecture for Semantic Data Access Layer
From UML to OWL 2
Ontology Model for National Science and Technology
A Nodal Approach to Agent-Mediation in Personal Intelligence
Knowledge Modeling for Personalized Travel Recommender
A Conceptualisation of an Agent-Oriented Triage Decision Support System
Random Forest for Gene Selection and Microarray Data Classification
Location Recognition with Fuzzy Grammar
A Multi-objective Genetic Algorithm for Optimization Time-Cost Trade-off Scheduling
A Transparent Fuzzy Rule-Based Clinical Decision Support System for Heart Disease Diagnosis
Evaluating Multiple Choice Question Generator
A Novel Fuzzy HMM Approach for Human Action Recognition in Video
Finding Web Document Associations Using Frequent Pairs of Adjacent Words
Knowledge Technology - Third Knowledge Technology Week, KTW 2011, Kajang, Malaysia, July 18-22, 2011. Revised Selected Papers
Benchmarking the Performance of Support Vector Machines in Classifying Web Pages
Conic Curve Fitting Using Particle Swarm Optimization: Parameter Tuning
A Novel Image Segmentation Technique for Lung Computed Tomography Images
Tracking Multiple Variable-Sizes Moving Objects in LFR Videos Using a Novel genetic Algorithm Approach
Multiple Object Classification Using Hybrid Saliency Based Descriptors
Using Semantic Constraints for Data Verification in an Open World
Implementation of a Cue-Based Aggregation with a Swarm Robotic System
Route Guidance System Based on Self-Adaptive Algorithm
Formulating Agent's Emotions in a Normative Environment
Ensuring Security and Availability of Cloud Data Storage Using Multi Agent System Architecture
E-Learning Based on Metadata, Ontologies and Competence-Based Knowledge Space Theory
Prediction of Protein Residue Contact Using Support Vector Machine
Identifying Metabolic Pathway within Microarray Gene Expression Data Using Combination of Probabilistic Models
Parallel Web Crawler Architecture for Clickstream Analysis
Ontology Model for Herbal Medicine Knowledge Repository
The CRM of Tomorrow with Semantic Technology
A Data Structure between Trie and List for Auto Completion
Touch & Write: Penabled Collaborative Intelligence
Norms Detection and Assimilation in Multi-agent Systems: A Conceptual Approach
Parameter Estimation for Simulation of Glycolysis Pathway by Using an Improved Differential Evolution
Completeness Knowledge Representation in Fuzzy Description Logics
Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report
Learning and Consistency
Learning in Case-Based Classification Algorithms
Learning from Good Examples
GolerP - A Logic Programming Tool for Inductive Inference
Classifying Recursive Predicates and Languages
Towards Reduction Argumentf for FINite Learning
Inductive Learning of Recurrence-Term Languages from Positive Data
Pattern Inference
A Guided Tour Across the Boundaries of Learning Recursive Languages
Topological Considerations in Composing Teams of Learning Machines
On Lower Bounds for the Depth of Threshold Circuits with Weights from {-1, 0, +1}
Error Detecting in Inductive Inference
Structuring Neural Networks and PAC-Learning
On Identification by Teams and Probabilistic Machines
Feature Construction during Tree Learning
T L P S - a Term Rewriting Laboratory (not only) for Experiments in Automatic Program Synthesis
Optimization Problem in Inductive Inference
Optimal Strategies - Learning from Examples - Boolean Equations
Learning Formal Languages Based on Control Sets
Classification Using Information
Not-So-Nearly-Minimal-Size Program Inference
Probabilistic versus Deterministic Memory Limited Learning
Inductive Synthesis of Rewrite Programs
Training Needs in Quantum Computing
Introduction to Quantum Development
Adapting Service Delivery for Quantum Programming
Reengineering of Information Systems toward Classical-Quantum Systems
Quantum Technology Impact: The Necessary Workforce for Developing Quantum Software
The Talavera Manifesto for Quantum Software Engineering and Programming
Short Papers Proceedings of the 1st International Workshop on the QuANtum SoftWare Engineering & pRogramming, Talavera de la Reina, Spain, February 11-12, 2020
Quantum Algorithms for Near-term Devices
Quantum Machine Learning: Benefits and Practical Examples
Quantum Software Testing
Activity recognition using inertial sensors and a 2-D convolutional neural network
A natural transfer function space for linear discrete time-invariant and scale-invariant systems
Order reduction for roesser state-space model based on a certain system of equations
SOS-based H∞ control of 2-D polynomial FMLSS model
Multisensor data fusion for advanced driver assistance systems - the Active Safety Car project
Activity recognition for indoor movement and estimation of travelled path
Hamiltonian system approach to distributed spectral decomposition in networks
3D wave digital filter implementation on a virtex2 FPGA board with external SDRAM
Time-relevant 2D behaviors
Existence and uniqueness of the solutions of continuous nonlinear 2D Roesser models: The locally Lipschitz continuous case
Controlled invariance for nonlinear Roesser models
A generalization of the Poincaré-Miranda theorem with an application to the controllability of nonlinear repetitive processes
New robust stability and stabilization conditions for linear repetitive processes
Norm-optimal control of time-varying discrete repetitive processes with iteration-varying reference inputs
Analytical sub-band filtering technique of Two-Dimensional adaptive Notch Filter
Object-based rendering and 3D reconstruction using a moveable image-based rendering system
Transmission gas pipelines: 2D models simulation
Controlled Positivity under constrained controls of general 2-D systems
Calculation of the transformation kernels for the functional transformation method
Insufficiencies of the practical BIBO stability concept with regard to signal processing systems
Evaluation of pedestrian detection fusion and localization based on the idea of car-to-X communication
Two-dimensional zero-attraction projection algorithm for single snapshot DOA estimation
Asymptotic unknown input observers for two-dimensional systems
On multidimensional velocity filter banks for video-based motion analysis of world-coordinate objects
Structural invariants of implicit two-dimensional systems
Digression on the equivalence between linear 2D discrete repetitive processes and roesser models
Towards an adaptive minimum variance control scheme for specimen drift compensation in transmission electron microscopes
Fast adaptive interpolation of multi-dimensional arrays in tensor train format
Stabilization of nD behaviors
On some nonlinear second order control systems
A transfer function model for 1D diffusion processes
Meta-heuristics in multidimensional systems stability study
State feedback for overdetermined 2D systems: pole placement for bundle maps over an algebraic curve
Fractional du Bois-Reymond lemma of order α ∈ (1 over 2; 1)
Robust sensor location for parameter estimation in iterative learning control of spatio-temporal systems
Further results on dynamic iterative learning control law design using repetitive process stability theory
The Fornasini-Marchesini model - Its role in the analysis and control of physical systems
Stabilization of stochastic 2D Fornasini-Marchesini systems
Guaranteed cost iterative learning control - An application to control of Permanent Magnet Synchronous Motors
Detection of ascending and descending stairways by surface normal vectors
Adaptive beamforming by simultaneous projection in dual domains
Self-boundedness and self-hiddenness for implicit two-dimensional systems
Stability of positive fractional 2D linear systems with delays
Livsic realization of 2D-behaviors with degree one autonomy
Implicit discretization of linear partial differential equations and repetitive processes
Purity filtration of multidimensional linear systems
Asymptotic and structural stability for a linear 2D discrete roesser model
An algebraic analysis approach to certain classes of nonlinear partial differential systems
Compressed sensing MRI by two-dimensional wavelet filter banks
Approximation of nD systems using tensor decompositions
Series concatenation of 2D convolutional codes
Newton's method for modularity-preserving multidimensional wave digital filters
Image-driven, model-free control of repetitive processes based on machine learning
Gain-scheduled H∞ control of two-dimensional discrete-time linear parametrically-varying systems
Stabilization of nonlinear 2D Fornasini-Marchesini and Roesser systems
(n+r)D systems and their control with reduced sensitivity to parametric uncertainties
A realization framework based on a natural state space description of discrete k-D signal processing systems
Exponential stability conditions for 2D continuous state-delayed systems
Discrete-space continuous-time analog circuits for spatially-bandpass 2D IIR beam filters
A W*-correspondence approach to multi-dimensional linear dissipative systems
Computer algebra methods for testing the structural stability of multidimensional systems
Design of robust iterative learning control schemes in a finite frequency range
All-pass based IIR multiple notch filter design using Gröbner Basis
On periodic solutions of 2-d linear difference equations
Robust static output feedback control for linear repetitive processes
Recent progress on analog/digital VLSI 2D filter circuits for beamforming antenna arrays
Passivity based iterative learning control of differential systems
Modelling of wideband inter-element EM coupling in 2D space-time frequency domain
Iterative Learning Control of Multi-agent Systems
A practically tractable iterative learning control scheme for a circular deformable mirror
Tensor train decomposition for low-parametric representation of high-dimensional arrays and functions: Review of recent results
State representations of finitely generated nD behaviors over rings
State feedback structural stabilization of 2D discrete Roesser models
Dynamic programming for 2D discrete nonlinear systems
H∞ filtering for a class of 2-D discrete-time parameter-varying systems
Subspace approach to identification of linear repetitive processes
Iterative Learning Control for wave linear repetitive processes
Geometric conditions for the existence of solutions of singular multidimensional systems
Equidimensional triangularization of multidimensional linear systems
7th International Workshop on Multidimensional (nD) Systems, nDS 2011, Poitiers, France, September 5-7, 2011
A sparse voxel selection approach for fMRI data analysis with multi-dimensional derivative constraints
Stability theory for a class of linear nonnegative multidimensional discrete systems
Discrete Roesser state models from 2D vector-geometric trajectories
Alzheimer's electroencephalogram event scalp localization
Polmat library now within Symbolic Math Toolbox for Matlab in multidimensional systems computations
On the relevance of certain results from multidimensional circuits and systems theory in some nontraditional problem areas
Modeling and control of a sorption process using 2D systems theory
Zero coprime equivalent matrix pencils of a 2 - D polynomial matrix
Music emotion recognition with consideration of personal preference
A white noise approach to linear stochastic systems
New results on higher-order iterative learning control for discrete linear systems
On restrictions of n-D systems to 1-D subspaces
Nash equilibrium with wave dynamics and boundary control
Fundamentals and application results for multidimensional circuits
Stability analysis for implicit second order finite difference schemes
A constructive algebraic analysis approach to the equivalence of multidimensional linear systems
Orientation and positioning with inertial sensors for walking frame guidance
Iterative learning control of a class of ladder circuits represented by descriptor systems
A Simplified approach to Iterative Learning Control based on strong practical stability of repetitive processes
Spatially-organized random projections of images for dimensionality reduction and privacy-preserving classification
Censorship of video images with adaptive reconstruction based on spectral domain watermarking
Map building using occupancy grids with differentiated occupancy states
2009 International Workshop on Multidimensional (nD) Systems, nDS 2009, Aristotle University of Thessaloniki, Thessaloniki, Greece, June 29 - July 1, 2009
Robust H∞ filtering for uncertain 2-D continuous systems, based on a polynomially parameter-dependent Lyapunov function
Stability and stabilization of systems modeled by 2D nonlinear stochastic roesser models
On generalized separation and the speedup of local operators on multi-dimensional signals
Examination of direct form vs. WDF realization of a 2-D quadrantal fan filter in FPGA hardware
Classification of ascending steps and stairs using Time-of-Flight sensor data
Roesser model representation of 2D periodic behaviors: the (2, 2)-periodic SISO case
Extension of learnable bandwidth for iterative learning control
On selection of spatial-varying regularization parameters in total variation image restoration
Euler-Bernoulli beam flatness based control with constraints
On the Newton multivariate polynomial interpolation with applications
Application specific stability of 3-D Roesser-like model realizations
10th International Workshop on Multidimensional (nD) Systems (nDS), nDS 2017, Zielona Góra, Poland, September 13-15, 2017
Rational functions in noncommutating variables, their realizations, and applications to Linear Matrix inequalities
Design of a millimeter-wave dish-antenna based 3-D IIR radar digital velocity filter
Empirical Mode Decomposition for vectorial bi-dimensional signals
A constructive version of Fitting's theorem on isomorphisms and equivalences of linear systems
A low-complexity 2-D spatially-interpolated FIR trapezoidal filter for enhancing broadband plane waves
2D line filters for vision-based lane detection and tracking
Fractional du Bois-Reymond lemma of order α ∈ (n - 1 over 2, n)
IEEE 9th International Workshop on Multidimensional (nD) Systems, nDS 2015, Vila Real, Portugal, September 7-9, 2015
On Kalman filtering for 2-D Fornasini-Marchesini models
Controlled and conditioned invariance with stability for two-dimensional systems
Linear quadratic OL-Nash games on repetitive processes with smoothing on the gas dynamics
Strongly autonomous behaviors over finite rings
Wideband 32-element 200-MHz 2-D IIR beam filters using ROACH-2 Virtex-6 sx475t FPGA
Stability and stabilisation of active ladder circuits modeled in the form of two-dimensional (2D) systems
S-procedure for deriving stability conditions of hybrid Roesser models
Object representation for fast trajectory collision testing by means of 2-D algebraic conic sections
Detection and estimation translations of large images using random projections
An unconditionally stable finite difference scheme systems described by second order partial differential equations
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids
Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling
Using scylindric algebra to support local variables in rely/guarantee concurrency
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning
Automating Cryptographic Protocol Language Generation from Structured Specifications
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022
A Verified UAV Flight Plan Generator
Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts
Formal Methods in Requirements Engineering: Survey and Future Directions
Llm-Based Generation of Weakest Preconditions and Precise Array Invariants
A Dafny-based approach to thread-local information flow analysis
Towards Verifiable Multi-Agent Interaction Pattern Specification
Formally Verified Interval Arithmetic and Its Application to Program Verification
VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models
Refining Alloy-Based Mutation Operators to Reflect Common Mistakes
Finite Automata synthesis from Interactions
Counterexample-Guided Inductive Repair of Reactive Contracts
Diagnosing Violations of Time-based Properties Captured in iCFTL
Counting Bugs in Behavioural Models using Counterexample Analysis
Embracing Uncertainty: a Fuzzy Theoretical Model for Goal Fulfillment Assessment
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025
Contract-Based Specification Refinement and Repair for Mission Planning
11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023
Mutant Equivalence as Monotonicity in Parametric Timed Games
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)
Transparent Actor Model
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
Goal Controller Synthesis for Self-Adaptive Systems
Property-Driven Testing of Black-Box Functions
Patch Specifications via Product Programs
C for Yourself: Comparison of Front-End Techniques for Formal Verification
Robustness Verification of Video Classification Neural Networks
Cps Falsification Using Autoencoded Input Models
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers
A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B
Compositional Analysis of Parametric Cooperative Cyber-Physical Systems
Probabilistic Model Checking of Disaster Resource Distribution Strategies
Towards Automated Input Generation for Sketching Alloy Models
Automated Repair of Violated Eventually Properties in Concurrent Programs
Time for Networks: Mutation Testing for Timed Automata Networks
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability
Temporal Logics Meet Real-World Software Requirements: A Reality Check
Typestates Specification and Verification in Frama-C
An Empirical Study Assessing Software Modeling in Alloy
Specifying Distributed Hash Tables with Allen Temporal Logic
Modeling Language for Scenario Development of Autonomous Driving Systems
Contract Automata: A Specification Language for Mode-Based Systems
Verifying Opacity of Discrete-Timed Automata
The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
Detecting Redundant Preconditions
Verifying Multiple TLA + Configurations with Blast
Automatic Loop Invariant Generation for Data Dependence Analysis
Computing Program Functions
Research on Classification Method of Medium Resolution Remote Sensing Image Based on Machine Learning
A Maritime Route Prediction Method for Large Oil Tankers Based on IMO-MMSI Matching and Encoder-LSTM Model
Intelligent Extraction Method of Inertial Navigation Trajectory Behavior Features Considering Road Environment
We-Map Orientation Method Suitable for General Public with Weak Sense of Orientation
Spatio-Temporal Sequence Prediction of Diversion Tunnel Based on Machine Learning Multivariate Data Fusion
A Dynamic Traffic Community Prediction Model Based on Hierarchical Graph Attention Network
ENSTDM: An ENtity-Based Spatio-Temporal Data Model and Case Study in Real Estate Management
Spatial-Aware Community Search Over Heterogeneous Information Networks
Spatial Data and Intelligence - 5th China Conference, SpatialDI 2024, Nanjing, China, April 25-27, 2024, Proceedings
CPI: LiDAR-Camera Extrinsic Calibration Based on Feature Points with Reflection Intensity
AIS Data Driven CNN-BiGRU Model for Ship Target Classification
Spatial Data and Intelligence - Third International Conference, SpatialDI 2022, Wuhan, China, August 5-7, 2022, Revised Selected Papers
Spatial Data and Intelligence - Second International Conference, SpatialDI 2021, Hangzhou, China, April 22-24, 2021, Proceedings
Applying Segment Anything Model to Ground-Based Video Surveillance for Identifying Aquatic Plant
A Method of Emergency Prediction Based on Spatiotemporal Context Time Series
Local Co-location Pattern Mining Based on Regional Embedding
Traffic Flow Forecasting Using a Spatial-Temporal Attention Graph Convolutional Network Predictor
A Deep Learning Method for Complex Human Activity Recognition Using Virtual Wearable Sensors
SignalingTraj: A Signaling Data Based Trajectory Generation with Diffusion Model
Proximity-Based Aggregation Method for LBS Human Mobility Data
Village Web 3D Visualization System Based on Cesium
LERI Evaluation and Driving Mechanism Analysis via GWRF Model
ST-GWANN: A Novel Spatial-Temporal Graph Wavelet Attention Neural Network for Traffic Prediction
Hot Public Appeal Extraction and Visual Analysis Combined BERT and Spatio-Temporal Location
Evaluation of Typical Public Facilities in Shanghai Urban Functional Area
GWmodelS: A High-Performance Computing Framework for Geographically Weighted Models
Spatio-Temporal Disparity of Traffic Accidents Between the Elderly Involved and Non-elderly Groups in Kumamoto, Japan
Vehicle Emergency Route Planning Based on Grid Map
Learning Sequential Features of Check-Ins for User Relationship Inference
Deep Transfer Learning for Successive POI Recommendation
A Deep Urban Hotspots Prediction Framework with Modeling Geography-Semantic Dynamics
A Novel Method for Groups Identification Based on Spatio-Temporal Trajectories
Mining Regional High Utility Co-location Pattern
Research on Vector Road Aided Inertial Navigation by Using ICCP Algorithm
Ship Classification Based on Trajectories Data and LightGBM Considering Offshore Distance Feature
Spatial Data and Intelligence - 6th International Conference, SpatialDI 2025, Xiamen, China, April 17, 2025, Proceedings
Research on the Prediction Model of Sites in Kashgar Based on Logistic Regression Analysis
Few-Shot Learning Remote Scene Classification Based on DC-2DEC
CDGCN: An Effective and Efficient Algorithm Based on Community Detection for Training Deep and Large Graph Convolutional Networks
Predicting Future Spatio-Temporal States Using a Robust Causal Graph Attention Model
Using DBSCAN-RF Algorithm and Multi-source Features to Model Deep Convection in Hubei, China
A Comparative Study of Row and Column Storage for Time Series Data