yusuke1997/dblp-id-title huggingface dataset:
Conversational Requirements Engineering: Pinpointing Requirements-Relevant Information in Conversations
Managing Multi-Lingual User Feedback: The SUPERSEDE Project Experience
Object-Oriented Approach for Requirements Specification
Pinpointing Ambiguity and Incompleteness in Requirements Engineering via Information Visualization and NLP
A Heuristic Approach for Supporting Product Innovation in Requirements Engineering: A Controlled Experiment
Requirements Quality Assurance in Industry: Why, What and How?
Do Information Retrieval Algorithms for Automated Traceability Perform Effectively on Issue Tracking System Data?
Identifying and Classifying User Requirements in Online Feedback via Crowdsourcing
Keeping Evolving Requirements and Acceptance Tests Aligned with Automatically Generated Guidance
Required Changes in Requirements Engineering Approaches for Socio-Cyber-Physical Systems
Analyzing the Tracing of Requirements and Source Code during Software Development - A Research Preview
A Metamodel for Software Requirement Patterns
From Stakeholder Requirements to Formal Specifications Through Refinement
Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents
Generating Fast Feedback in Requirements Elicitation
SREBP: Security Requirement Elicitation from Business Processes
Software Architects' Experiences of Quality Requirements: What We Know and What We Do Not Know?
Exploring Requirements for Software that Learns: A Research Preview
Improving the Understandability of Formal Specifications: An Experience Report
Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing
The Box Fight Analogy: A Blueprint for Pre-Sales Requirements Engineering Workshop
Avoiding Undertrust and Overtrust
Preface: REFSQ 2020 Doctoral Symposium
Goal-Based Decision Making - Using Goal-Oriented Problem Structuring and Evaluation Visualization for Multi Criteria Decision Analysis
Automatic Detection of Causality in Requirement Artifacts: The CiRA Approach
Embedding Stakeholder Values in the Requirements Engineering Process
Preface: REFSQ 2024 Posters and Tools Track
End-User Requirements Modelling: An Experience Report from Digital Agriculture
Mining App Reviews for User Feedback Analysis in Requirements Engineering: A Project Report
Experiences with a Requirements Object Model
Identifying Requirements in Requests for Proposal: A Research Preview
Abstraction Guides: Interrelating Conceptual Models with Real World Scenes
A comparison of NLP Tools for RE to extract Variation Points
On the Role of Ambiguity in RE
Requirements Engineering in Industry: Modular Foundational Online Training to Build Basic Practices
Use of Domain Ontologies to Improve Requirements Quality
Requirement or Not, That is the Question: A Case from the Railway Industry
Joint Proceedings of REFSQ-2015 Workshops, Research Method Track, and Poster Track co-located with the 21st International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2015), Essen, Germany, March 23, 2015
Mal-Activity Diagrams for Capturing Attacks on Business Processes
On Understanding the Relation of Knowledge and Confidence to Requirements Quality
When Banning Isn't an Option: Embracing AI in Requirement Engineering Education
Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions
Towards a Method for Aligning Organization Business Values with their BPMN Process Models
FlexiView: A Magnet-Based Approach for Visualizing Requirements Artifacts
A Case Study on Tool-Supported Multi-level Requirements Management in Complex Product Families
Be Ahead of the Game: Gamification for Inclusive RE
SRXCRM: Discovering Association Rules Between System Requirements and Product Specifications
Creativity and Conceptual Modeling for Requirements Engineering
Industrial Practices on Requirements Reuse: An Interview-Based Study
Bridging the Communication Gap - A Pilot Course on Interdisciplinary Requirements Engineering
Answer-Set Programming in Requirements Engineering
Which AI Technique Is Better to Classify Requirements? An Experiment with SVM, LSTM, and ChatGPT
Domain adaption for RE training - Experience report
Joint Proceedings of REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 25th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), Essen, Germany, March 18th, 2019
Requirements Engineering Elicitation for Mobility Assistance Dogs: Meeting Canine User Needs Through Technology Enabled Interpretation
Macro-level Traceability Via Media Transformations
Downsizing EPMcreate to Lighter Creativity Techniques for Requirements Elicitation
Security Requirements Elicitation from Engineering Governance, Risk Management and Compliance
Divergent Creativity for Requirement Elicitation Amid Pandemic: Experience from Real Consulting Project
Incremental Reconfiguration of Product Specific Use Case Models for Evolving Configuration Decisions
REFSQ'08 International Working Conference on Requirements Engineering: Foundation for Software Quality
Experiment: Understandability of Goal Modeling with ARMOR
PReDUS: A Privacy Requirements Detector From User Stories
Requirements Engineering: Foundation for Software Quality - 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings
Evaluation of RE Tools Suitability for Continuous Requirements Engineering
Ethical User Stories: Industrial Study
Requirements Traceability across Organizational Boundaries - A Survey and Taxonomy
Requirements Engineering for No-Code Development (RE4NCD) - A Case Study of Rapid Application Development During War
Search Based Requirements Optimisation: Existing Work and Challenges
Impediments to Requirements-Compliance
Redefinition of the Requirements Engineer Role in Mjølner's Software Development Process
Towards a Card Game for Creative Solution Ideas: InnoCards
Continuous Requirements Engineering for Mobile Application Development
Requirements-based Simulation Execution for Virtual Validation of Autonomous Systems
When Product Managers Gamble with Requirements: Attitudes to Value and Risk
A Controlled Experiment of a Method for Early Requirements Triage Utilizing Product Strategies
An Intelligent Systems Approach for Supporting Privacy Awareness in Agile Software Development
The Effects of Requirements Elicitation Issues on Software Project Performance: An Empirical Analysis
Cyber-Physical Systems Design for Runtime Thrustworthiness Maintenance Supported by Tools
A Dialectic Approach for User Requirements Engineering for Multi-User Systems
Social-Network-Based Personal Processes
Workload and Delay Analysis in Manufacturing Process Using Process Mining
Realisation of Cost-Informed Process Support Within the YAWL Workflow Environment
BPEL Similarity - A Metric Based on Activity Constraint Graphs
Proposals for Future BPM Research Directions
Efficient Syntactic Process Difference Detection Using Flexible Feature Matching
DTMiner: A Tool for Decision Making Based on Historical Process Data
A Methodological Evaluation of Business Process Compliance Management Frameworks
Run JTA in JTang: Modeling in Artifact-Centric Model and Running in Activity-Centric Environment
On-the-Fly Performance-Aware Human Resource Allocation in the Business Process Management Systems Environment Using Naïve Bayes
Asia Pacific Business Process Management - First Asia Pacific Conference, AP-BPM 2013, Beijing, China, August 29-30, 2013. Selected Papers
Process Cubes: Slicing, Dicing, Rolling Up and Drilling Down Event Data for Process Mining
An Efficient Resource Allocation Mechanism Based on Dynamic Pricing Reverse Auction for Cloud Workflow Systems
Measuring Patient Flow Variations: A Cross-Organisational Process Mining Approach
Clustering and Operation Analysis for Assembly Blocks Using Process Mining in Shipbuilding Industry
A Systematic Methodology for Outpatient Process Analysis Based on Process Mining
A Cloud Workflow Modeling Framework Using Extended Proclets
A Study on Geospatial Constrained Process Modeling Using UML Activity Diagrams
Incorporating the Effects of Organizational Structure into Business Process Simulation
Process Model Storage Solutions: Proposition and Evaluation
An Analytic Framework of Design for Semiconductor Manufacturing
TAR++: A New Process Model Similarity Algorithm Based on the Importance of TARs
Generating Synthetic Process Model Collections with Properties of Labeled Real-Life Models
Asia Pacific Business Process Management - Second Asia Pacific Conference, AP-BPM 2014, Brisbane, QLD, Australia, July 3-4, 2014. Proceedings
A Universal Significant Reference Model Set for Process Mining Evaluation Framework
APQL: A Process-Model Query Language
Discovering Information Diffusion Processes Based on Hidden Markov Models for Social Network Services
Process Visualization Techniques for Multi-perspective Process Comparisons
jBPM4S: A Multi-tenant Extension of jBPM to Support BPaaS
A Gateway-Centered Workflow Rollback-Points Ancestry Model for Sustainable Workflow Enactments
Material Movement Analysis for Warehouse Business Process Improvement with Process Mining: A Case Study
A Method of Process Similarity Measure Based on Task Clustering Abstraction
Improvement of Patient Safety in u-Hospital: A Pattern-Based Approach for Handling Patients' Abnormal Situations
Asia Pacific Business Process Management - Third Asia Pacific Conference, AP-BPM 2015, Busan, South Korea, June 24-26, 2015, Proceedings
Process Discovery by Synthesizing Activity Proximity and User's Domain Knowledge
A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults
Parallel algorithms for finding connected, independent and total domination in interval graphs
Algorithms and architectures for recursive total least squares estimation
Array design methodologies for real-time signal processing in the CATHEDRAL-IV synthesis environment
A parallel thinning algorithm using the bounding boxes technique
Synthesis of size-optimal toroidal arrays for the algebraic path problem
Signal analysis and signal transformations for ASIC regular array architecture synthesis
Implementing cellular automata on the ArMen machine
From systolic to periodic array design
Distributed simulation of parallel VLSI architectures
A Parallel program for the recognition of P-Invariant segments
On-line computing: a survey and some new results
Orthogonal lattice algorithms for adaptive filtering and beamforming
Mapping QR decomposition of a banded matrix on a ID systolic array with data contraflow and pipelined functional units
Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations
Generalized cycle shrinking
Experience in the design of paralle processor arrays
A 2D toroidal systolic array for the knapsack problem
Linear systolic arrays for matrix multiplication: comparisons of existing synthesis methods and new results
The derivation of dependence graphs from PASCAL programs for array processor design
Refinement based algorithm mapping techniques for linear systolic arrays
Direct mapping of nested loops on piecewise regular processor arrays
Nonlinear adaptive filtering algorithms for parallel and systolic implementation
Comparison of scheduling techniques for the parallel implementation of the Hough transform
Time-varying system theory for computational networks
Two heuristics for task scheduling
Matrix Multiplication on an associative string processor: application to image compression by Gabor expansion
Meshes with flexible redundancy
Algorithms and Parallel VLSI Architectures
The Alpha du Centaur environment
An improved systolic algorithm for the algebraic path problem
Parallel algorithms for color image quantization on hypercubes and meshes
Loop unrolling for processors with instruction cache
POLLUS: A LUSTRE based hardware design environment
On the use of most significant digit first arithmetic in the design of high performance DSP chips
Transe: an experimental design tool
The SIGNAL programming environment
Delays of on-line floating point operators in borrow-save representation
Synthesis of intermediate memories for the data supply to processor arrays
Algorithms and Parallel VLSI Architectures II, Proceedings of the International Workshop Algorithms and Parallel VLSI Architectures II, Château de Bonas, Gers, France, June 3-6, 1991
Systolic generation of derangements
A programmable VLSI array with constant I/O pins
Deterministic Annealing for Unsupervised Texture Segmentation
Nonlinear Compressed Sensing for Multi-emitter X-Ray Imaging
Kernel Methods for Nonlinear Discriminative Data Analysis
Dominant Set Biclustering
Autonomous Multi-camera Tracking Using Distributed Quadratic Optimization
Intrinsic Second-Order Geometric Optimization for Robust Point Set Registration without Correspondence
Hyperparameter Estimation for Satellite Image Restoration by a MCMCML Method
Edge Strength Functions as Shape Priors in Image Segmentation
Diffusion Tensor MR Image Restoration
Highlight and Shading Invariant Color Image Segmentation Using Simulated Annealing
Metropolis vs Kawasaki Dynamic for Image Segmentation Based on Gibbs Models
Image Labeling and Grouping by Minimizing Linear Functionals over Cones
Designing Moiré Patterns
A Technique for Lung Nodule Candidate Detection in CT Using Global Minimization Methods
Inpainting of Cyclic Data Using First and Second Order Differences
Designing the Minimal Structure of Hidden Markov Model by Bisimulation
Quaternion-Based Color Image Smoothing Using a Spatially Varying Kernel
Slack and Margin Rescaling as Convex Extensions of Supermodular Functions
CIDER: Corrected Inverse-Denoising Filter for Image Restoration
Randomly Walking Can Get You Lost: Graph Segmentation with Unknown Edge Weights
Adaptive Bayesian Contour Estimation: A Vector Space Representation Approach
Maximum Consensus Parameter Estimation by Reweighted \ell _1 ℓ 1 Methods
Maximizing Flows with Message-Passing: Computing Spatially Continuous Min-Cuts
A Complementary Pivoting Approach to Graph Matching
Stochastic Search for Optimal Linear Representations of Images on Spaces with Orthogonality Constraints
Quantum Interference and Shape Detection
Sharpening Hyperspectral Images Using Spatial and Spectral Priors in a Plug-and-Play Algorithm
Global Relabeling for Continuous Optimization in Binary Image Segmentation
Computing the Local Continuity Order of Optical Flow Using Fractional Variational Method
Rapid Mode Estimation for 3D Brain MRI Tumor Segmentation
Genetic Algorithms for Ambiguous Labelling Problems
Active Appearance Models Fitting with Occlusion
SlimCuts: GraphCuts for High Resolution Images Using Graph Reduction
Detection and Segmentation of Independently Moving Objects from Dense Scene Flow
Surface Recovery from 3D Point Data Using a Combined Parametric and Geometric Flow Approach
Parallel Hidden Hierarchical Fields for Multi-scale Reconstruction
A New Algorithm for Energy Minimization with Discontinuities
Bipartite Graph Matching Computation on GPU
Kona: A Multi-junction Detector Using Minimum Description Length Principle
Image Segmentation via Energy Minimization on Partitions with Connected Components
Segmentations of Spatio-Temporal Images by Spatio-Temporal Markov Random Field Model
Brain Image Analysis Using Spherical Splines
Blind Deconvolution via Lower-Bounded Logarithmic Image Priors
Jointly Segmenting Prostate Zones in 3D MRIs by Globally Optimized Coupled Level-Sets
PointFlow: A Model for Automatically Tracing Object Boundaries and Inferring Illusory Contours
Consensus Clustering with Robust Evidence Accumulation
Spatio-temporal Segmentation Using Dominant Sets
Bottom-Up Recognition and Parsing of the Human Body
Integration of Confidence Information by Markov Random Fields for Reconstruction of Underwater 3D Acoustic Images
Metric Similarities Learning through Examples: An Application to Shape Retrieval
Some New Results on Non-rigid Correspondence and Classification of Curves
Vehicle X-Ray Images Registration
An Effective Multi-level Algorithm Based on Simulated Annealing for Bisecting Graph
Efficient Shape Matching Via Graph Cuts
Linear Osmosis Models for Visual Computing
Coarse-to-Fine Minimization of Some Common Nonconvexities
Bayesian Inference for Layer Representation with Mixed Markov Random Field
Illumination-Aware Large Displacement Optical Flow
A Fast GEM Algorithm for Bayesian Wavelet-Based Image Restoration Using a Class of Heavy-Tailed Priors
A New Implicit Method for Surface Segmentation by Minimal Paths: Applications in 3D Medical Images
Efficiently Computing Weighted Tree Edit Distance Using Relaxation Labeling
Efficient Convex Optimization for Minimal Partition Problems with Volume Constraints
An a Contrario Approach for Parameters Estimation of a Motion-Blurred Image
Using the Higher Order Singular Value Decomposition for Video Denoising
Semi-iterative Inferences with Hierarchical Energy-Based Models for Image Analysis
A Variational Framework for Non-local Image Inpainting
Discrete Optimization of the Multiphase Piecewise Constant Mumford-Shah Functional
Watershed-Based Unsupervised Clustering
Evaluation of a First-Order Primal-Dual Algorithm for MRF Energy Minimization
A Generic Convexification and Graph Cut Method for Multiphase Image Segmentation
A Fast Solver for Truncated-Convex Priors: Quantized-Convex Split Moves
3D Computation of Gray Level Co-occurrence in Hyperspectral Image Cubes
Adaptive Pixel-Based Data Fusion for Boundary Detection
Multiframe Motion Coupling for Video Super Resolution
Temporal Semantic Motion Segmentation Using Spatio Temporal Optimization
Semantic Video Segmentation from Occlusion Relations within a Convex Optimization Framework
Combining Left and Right Irises for Personal Authentication
A Maximum Likelihood Framework for Grouping and Segmentation
Color Image Segmentation in a Quaternion Framework
A Variational Method for Expanding the Bit-Depth of Low Contrast Image
Geodesics in Shape Space via Variational Time Discretization
Adaptive Parametrically Deformable Contours
Total Variation Minimization and a Class of Binary MRF Models
Self Annealing: Unifying Deterministic Annealing and Relaxation Labelling
A Compositionally Architecture for Perceptual Feature Grouping
Location Uncertainty Principle: Toward the Definition of Parameter-Free Motion Estimators
Illumination Invariant Recognition of Color Texture Using Correlation and Covariance Functions
Spherical Object Reconstruction Using Star-Shaped Simplex Meshes
Graph Matching Using Spectral Seriation
Analysis of Bayesian Blind Deconvolution
Contextual and Non-combinatorial Approach to Feature Extraction
Shape Analysis of Open Curves in R 3 with Applications to Study of Fiber Tracts in DT-MRI Data
Energy Minimization Methods in Computer Vision and Pattern Recognition - 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Pose-Invariant Face Matching Using MRF Energy Minimization Framework
An Energy Minimization Method for Matching and Comparing Structured Object Representations
The Complex Wave Representation of Distance Transforms
Twenty Questions, Focus of Attention, and A*: A Theoretical Comparison of Optimization Strategies
Learning Mixtures of Tree-Unions by Minimizing Description Length
Optimality Bounds for a Variational Relaxation of the Image Partitioning Problem
Bayesian Order-Adaptive Clustering for Video Segmentation
Toward Global Solution to MAP Image Estimation: Using Common Structure of Local Solutions
Multi-label Moves for MRFs with Truncated Convex Priors
Continuous-Time Relaxation Labeling Processes
Probabilistic Subgraph Matching Based on Convex Relaxation
Justifying Tensor-Driven Diffusion from Structure-Adaptive Statistics of Natural Images
High Resolution Segmentation of Neuronal Tissues from Low Depth-Resolution EM Imagery
Image Registration under Varying Illumination: Hyper-Demons Algorithm
Introduction to a Large-Scale General Purpose Ground Truth Database: Methodology, Annotation Tool and Benchmarks
Robust Trajectory-Space TV-L1 Optical Flow for Non-rigid Sequences
Vehicle Tracking Based on Image Alignment in Aerial Videos
Convergence of a Hill Climbing Genetic Algorithm for Graph Matching
Optimization Problems in Statistical Object Recognition
Stereo for Slanted Surfaces: First Order Disparities and Normal Consistency
Curvature Regularization for Curves and Surfaces in a Global Optimization Framework
Reconstructing Optical Flow Fields by Motion Inpainting
Likelihood Based Hierarchical Clustering and Network Topology Identification
Multidimensional Scaling by Deterministic Annealing
Geometric Image Labeling with Global Convex Labeling Constraints
An Efficient Curve Evolution Algorithm for Multiphase Image Segmentation
Dynamic Feature Cascade for Multiple Object Tracking with Trackability Analysis
Detachable Object Detection with Efficient Model Selection
One-Shot Integral Invariant Shape Priors for Variational Segmentation
Separating a Texture from an Arbitrary Background Using Pairwise Grey Level Cooccurrences
A Co-occurrence Prior for Continuous Multi-label Optimization
Generalizing the Motzkin-Straus Theorem to Edge-Weighted Graphs, with Applications to Image Segmentation
Hierarchical Vibrations: A Structural Decomposition Approach for Image Analysis
Object Category Recognition Using Generative Template Boosting
Variational Image Segmentation and Cosegmentation with the Wasserstein Distance
Automatic Shape Constraint Selection Based Object Segmentation
Optical Flow with Geometric Occlusion Estimation and Fusion of Multiple Frames
Point Sets Matching by Feature-Aware Mixture Point Matching Algorithm
Shape Tracking Using Centroid-Based Methods
Segmentation Informed by Manifold Learning
Multiple-Instance Learning with Structured Bag Models
Surface Reconstruction from LiDAR Data with Extended Snake Theory
Estimation of Distribution Algorithms: A New Evolutionary Computation Approach for Graph Matching Problems
Curvature Regularity for Multi-label Problems - Standard and Customized Linear Programming
Continuous Global Optimization in Multiview 3D Reconstruction
Energy Minimization Methods in Computer Vision and Pattern Recognition, Second International Workshop, EMMCVPR'99, York, UK, July 26-29, 1999, Proceedings
Optical Flow and Image Registration: A New Local Rigidity Approach for Global Minimization
Dichromatic Reflection Separation from a Single Image
Inverse Lightfield Rendering for Shape, Reflection and Natural Illumination
A Fast MAP Algorithm for 3D Ultrasound
Handling Missing Data in the Computation of 3D Affine Transformations
Multi-class Graph Mumford-Shah Model for Plume Detection Using the MBO scheme
Color Correction of Underwater Images for Aquatic Robot Inspection
Image Filtering Driven by Level Curves
Extraction of Layers of Similar Motion Through Combinatorial Techniques
Grouping with Directed Relationships
Maximum Likelihood Estimation of the Template of a Rigid Moving Object
Unified Functional Framework for Restoration of Image Sequences Degraded by Atmospheric Turbulence
Reliable Computation and Related Games
A PDE Approach to Coupled Super-Resolution with Non-parametric Motion
Adaptive Dictionary-Based Spatio-temporal Flow Estimation for Echo PIV
Geodesic Interpolating Splines
Color Image Segmentation by Minimal Surface Smoothing
Global Optimal Multiple Object Detection Using the Fusion of Shape and Color Information
Adaptive Anisotropic Parameter Estimation in the Weak Membrane Model
Parameter Estimation for Marked Point Processes. Application to Object Extraction from Remote Sensing Images
Unsupervised Image Segmentation Using Markov Random Field Models
A Schrödinger Wave Equation Approach to the Eikonal Equation: Application to Image Analysis
An Experimental Comparison of Min-cut/Max-flow Algorithms for Energy Minimization in Vision
A Compact Linear Programming Relaxation for Binary Sub-modular MRF
Minimizing Count-Based High Order Terms in Markov Random Fields
How Hard Is the LP Relaxation of the Potts Min-Sum Labeling Problem?
Bragg Diffraction Patterns as Graph Characteristics
Metrics, Connections, and Correspondence: The Setting for Groupwise Shape Analysis
Deformation Energy for Size Functions
Simultaneous Fusion Moves for 3D-Label Stereo