andersonbcdefg/st_specter_train_triples huggingface dataset:
Paper: Continuous Reasoning: Scaling the impact of formal methods
Related paper: Automatic Contract Insertion with CCBot
Unrelated paper: Managing the development of large software systems: concepts and techniques
Paper: Continuous Reasoning: Scaling the impact of formal methods
Related paper: Iterative and incremental developments. a brief history
Unrelated paper: Supervised Open Information Extraction
Paper: Continuous Reasoning: Scaling the impact of formal methods
Related paper: Iterative and incremental developments. a brief history
Unrelated paper: LeFlow: Enabling Flexible FPGA High-Level Synthesis of Tensorflow Deep Neural Networks
Paper: Continuous Reasoning: Scaling the impact of formal methods
Related paper: Automatic Contract Insertion with CCBot
Unrelated paper: Attenuate Influence of Parasitic Elements in 13.56-MHz Inverter for Wireless Power Transfer Systems
Paper: Continuous Reasoning: Scaling the impact of formal methods
Related paper: Thorough static analysis of device drivers
Unrelated paper: Ulnar-sided wrist pain. Part I: anatomy and physical examination
Paper: Enabling Wireless Power Transfer in Cellular Networks: Architecture, Modeling and Deployment
Related paper: Shannon meets Tesla: Wireless information and power transfer
Unrelated paper: Micropower energy harvesting
Paper: Enabling Wireless Power Transfer in Cellular Networks: Architecture, Modeling and Deployment
Related paper: Shannon meets Tesla: Wireless information and power transfer
Unrelated paper: Ranking Answers and Web Passages for Non-factoid Question Answering: Emory University at TREC LiveQA
Paper: Enabling Wireless Power Transfer in Cellular Networks: Architecture, Modeling and Deployment
Related paper: Opportunistic Wireless Energy Harvesting in Cognitive Radio Networks
Unrelated paper: the computational role of dopamine d1 receptors in working memory .
Paper: Enabling Wireless Power Transfer in Cellular Networks: Architecture, Modeling and Deployment
Related paper: Opportunistic Wireless Energy Harvesting in Cognitive Radio Networks
Unrelated paper: The effects of silymarin on experimental phalloidine poisoning.
Paper: Enabling Wireless Power Transfer in Cellular Networks: Architecture, Modeling and Deployment
Related paper: Shannon meets Tesla: Wireless information and power transfer
Unrelated paper: named entity recognition using support vector machine : a language independent approach .
Paper: In-Vehicle CAN Message Authentication: An Evaluation Based on Industrial Criteria
Related paper: Comprehensive Experimental Analyses of Automotive Attack Surfaces
Unrelated paper: On the Power of Power Analysis in the Real World: A Complete Break of the KeeLoq Code Hopping Scheme
Paper: In-Vehicle CAN Message Authentication: An Evaluation Based on Industrial Criteria
Related paper: CANAuth - A Simple, Backward Compatible Broadcast Authentication Protocol for CAN bus
Unrelated paper: Development of a Hindi Lemmatizer
Paper: In-Vehicle CAN Message Authentication: An Evaluation Based on Industrial Criteria
Related paper: Comprehensive Experimental Analyses of Automotive Attack Surfaces
Unrelated paper: Combating cyber terrorism: countering cyber terrorist advantages of surprise and anonymity
Paper: In-Vehicle CAN Message Authentication: An Evaluation Based on Industrial Criteria
Related paper: CANAuth - A Simple, Backward Compatible Broadcast Authentication Protocol for CAN bus
Unrelated paper: Predicting Emotional Response to Unsuccessful Fertility Treatment: A Prospective Study
Paper: In-Vehicle CAN Message Authentication: An Evaluation Based on Industrial Criteria
Related paper: Comprehensive Experimental Analyses of Automotive Attack Surfaces
Unrelated paper: A Gift from Knowledge Distillation: Fast Optimization, Network Minimization and Transfer Learning
Paper: Face identification by fitting a 3D morphable model using linear shape and texture error functions
Related paper: A signal-processing framework for inverse rendering
Unrelated paper: An efficient representation for irradiance environment maps
Paper: Face identification by fitting a 3D morphable model using linear shape and texture error functions
Related paper: The CMU Pose, Illumination, and Expression (PIE) database
Unrelated paper: Joining Forces – Combining Cognition-Targeted Motor Control Training with Group or Individual Pain Physiology Education: A Successful Treatment For Chronic Low Back Pain
Paper: Face identification by fitting a 3D morphable model using linear shape and texture error functions
Related paper: The CMU Pose, Illumination, and Expression (PIE) database
Unrelated paper: Nine year old boy with chromosome 1q23.3-q25.1 deletion
Paper: Face identification by fitting a 3D morphable model using linear shape and texture error functions
Related paper: A signal-processing framework for inverse rendering
Unrelated paper: bank lending during the financial crisis of 2008 .
Paper: Face identification by fitting a 3D morphable model using linear shape and texture error functions
Related paper: A signal-processing framework for inverse rendering
Unrelated paper: Count Time Series Models
Paper: FPGA Implementation of SIFT Algorithm Using Xilinx System Generator
Related paper: Surf: Speeded up robust features
Unrelated paper: GPU-based Video Feature Tracking and Matching
Paper: FPGA Implementation of SIFT Algorithm Using Xilinx System Generator
Related paper: Fast SIFT Design for Real-Time Visual Feature Extraction
Unrelated paper: The Double Meaning of Online Social Space: Three-Way Interactions Among Social Anxiety, Online Social Behavior, and Offline Social Behavior
Paper: FPGA Implementation of SIFT Algorithm Using Xilinx System Generator
Related paper: Distinctive Image Features from Scale-Invariant Keypoints
Unrelated paper: Siphon-based deadlock prevention for a class of S4PR generalized Petri nets
Paper: FPGA Implementation of SIFT Algorithm Using Xilinx System Generator
Related paper: Fast SIFT Design for Real-Time Visual Feature Extraction
Unrelated paper: Fast and Adaptive 3D Reconstruction With Extensively High Completeness
Paper: FPGA Implementation of SIFT Algorithm Using Xilinx System Generator
Related paper: Distinctive Image Features from Scale-Invariant Keypoints
Unrelated paper: Image Analysis and Processing — ICIAP 2015
Paper: Segmentation- and Annotation-Free License Plate Recognition With Deep Localization and Failure Identification
Related paper: License Plate Recognition From Still Images and Video Sequences: A Survey
Unrelated paper: neural fitted q iteration - first experiences with a data efficient neural reinforcement learning method .
Paper: Segmentation- and Annotation-Free License Plate Recognition With Deep Localization and Failure Identification
Related paper: multiresolution gray - scale and rotation invariant texture classification with local binary patterns .
Unrelated paper: Situational , Transformational , and Transactional Leadership and Leadership Development
Paper: Segmentation- and Annotation-Free License Plate Recognition With Deep Localization and Failure Identification
Related paper: Automatic license plate recognition
Unrelated paper: Bengali character recognition using Bidirectional Associative Memories ( BAM ) neural network
Paper: Segmentation- and Annotation-Free License Plate Recognition With Deep Localization and Failure Identification
Related paper: Automatic license plate recognition
Unrelated paper: Deliberation on Design Strategies of Automatic Harvesting Systems: A Survey
Paper: Segmentation- and Annotation-Free License Plate Recognition With Deep Localization and Failure Identification
Related paper: An edge-based color-aided method for license plate detection
Unrelated paper: The Digital Health Companion : Personalized Health Support on Smartwatches via Recognition of Activity-and Vital-Data
Paper: Variance-Spectra based Normalization for I-vector Standard and Probabilistic Linear Discriminant Analysis
Related paper: Bayesian Speaker Verification with Heavy-Tailed Priors
Unrelated paper: bayesian face recognition .
Paper: Variance-Spectra based Normalization for I-vector Standard and Probabilistic Linear Discriminant Analysis
Related paper: Probabilistic Linear Discriminant Analysis for Inferences About Identity
Unrelated paper: FlexGrip: A soft GPGPU for FPGAs
Paper: Variance-Spectra based Normalization for I-vector Standard and Probabilistic Linear Discriminant Analysis
Related paper: Analysis of i-vector Length Normalization in Speaker Recognition Systems.
Unrelated paper: Filtering Corrupted Image and Edge Detection in Restored Grayscale Image Using Derivative Filters
Paper: Variance-Spectra based Normalization for I-vector Standard and Probabilistic Linear Discriminant Analysis
Related paper: SVM Based Speaker Verification using a GMM Supervector Kernel and NAP Variability Compensation
Unrelated paper: The optical character recognition of Urdu-like cursive scripts
Paper: Variance-Spectra based Normalization for I-vector Standard and Probabilistic Linear Discriminant Analysis
Related paper: Support vector machines versus fast scoring in the low-dimensional total variability space for speaker verification
Unrelated paper: genia corpus - a semantically annotated corpus for bio - textmining .
Paper: Prioritizing collision avoidance and vehicle stabilization for autonomous vehicles
Related paper: Trajectory planning for Bertha — A local, continuous method
Unrelated paper: Mean shift: A robust approach toward feature space analysis
Paper: Prioritizing collision avoidance and vehicle stabilization for autonomous vehicles
Related paper: CVXGEN : a code generator for embedded convex optimization
Unrelated paper: StreetGen : In base city scale procedural generation of streets: road network, road surface and street objects
Paper: Prioritizing collision avoidance and vehicle stabilization for autonomous vehicles
Related paper: Autonomous driving in urban environments: Boss and the Urban Challenge
Unrelated paper: Positive childhood experiences predict less psychopathology and stress in pregnant women with childhood adversity: A pilot study of the benevolent childhood experiences (BCEs) scale.
Paper: Prioritizing collision avoidance and vehicle stabilization for autonomous vehicles
Related paper: Towards fully autonomous driving: Systems and algorithms
Unrelated paper: Understanding Consumers Attitude Toward Advertising
Paper: Prioritizing collision avoidance and vehicle stabilization for autonomous vehicles
Related paper: CVXGEN : a code generator for embedded convex optimization
Unrelated paper: Record-low on-Resistance for 0.35 μm based integrated XtreMOSTM Transistors
Paper: Design of low power logic gates by using 32nm and 16nm FinFET technology
Related paper: Dual-$V_{th}$ Independent-Gate FinFETs for Low Power Logic Circuits
Unrelated paper: A folded-channel MOSFET for deep-sub-tenth micron era
Paper: Design of low power logic gates by using 32nm and 16nm FinFET technology
Related paper: Dual-$V_{th}$ Independent-Gate FinFETs for Low Power Logic Circuits
Unrelated paper: TimeML: Robust Specification of Event and Temporal Expressions in Text
Paper: Design of low power logic gates by using 32nm and 16nm FinFET technology
Related paper: Gate sizing: finFETs vs 32nm bulk MOSFETs
Unrelated paper: Citance-based retrieval and summarization using IR and machine learning
Paper: Design of low power logic gates by using 32nm and 16nm FinFET technology
Related paper: Dual-$V_{th}$ Independent-Gate FinFETs for Low Power Logic Circuits
Unrelated paper: Effects of foot and ankle devices on balance, gait and falls in adults with sensory perception loss: a systematic review
Paper: Design of low power logic gates by using 32nm and 16nm FinFET technology
Related paper: CMOS logic design with independent-gate FinFETs
Unrelated paper: The Dual-Tree Complex Wavelet Transform – A Coherent Framework for Multiscale Signal and Image Processing
Paper: Efficient Knowledge Distillation from an Ensemble of Teachers
Related paper: do deep nets really need to be deep ? .
Unrelated paper: Maxout Networks
Paper: Efficient Knowledge Distillation from an Ensemble of Teachers
Related paper: Recurrent Neural Network Training with Dark Knowledge Transfer
Unrelated paper: Nanomaterials: amyloids reflect their brighter side
Paper: Efficient Knowledge Distillation from an Ensemble of Teachers
Related paper: Recurrent Neural Network Training with Dark Knowledge Transfer
Unrelated paper: Building a plant cell wall at a glance
Paper: Efficient Knowledge Distillation from an Ensemble of Teachers
Related paper: Recurrent Neural Network Training with Dark Knowledge Transfer
Unrelated paper: Wavelet turbulence for fluid simulation
Paper: Efficient Knowledge Distillation from an Ensemble of Teachers
Related paper: Joint training of convolutional and non-convolutional neural networks
Unrelated paper: Replisom: Disciplined Tiny Memory Replication for Massive IoT Devices in LTE Edge Cloud
Paper: Particle Swarm Optimization Algorithm for Integer Factorization Problem (IFP)
Related paper: Inertia Weight strategies in Particle Swarm Optimization
Unrelated paper: A Cooperative approach to particle swarm optimization
Paper: Particle Swarm Optimization Algorithm for Integer Factorization Problem (IFP)
Related paper: Particle Swarm Optimization and Differential Evolution Algorithms : Technical Analysis , Applications and Hybridization Perspectives
Unrelated paper: Image-Based Reverse Engineering and Visual Prototyping of Woven Cloth
Paper: Particle Swarm Optimization Algorithm for Integer Factorization Problem (IFP)
Related paper: A method for obtaining digital signatures and public-key cryptosystems
Unrelated paper: Joint Learning of Motion Estimation and Segmentation for Cardiac MR Image Sequences
Paper: Particle Swarm Optimization Algorithm for Integer Factorization Problem (IFP)
Related paper: A method for obtaining digital signatures and public-key cryptosystems
Unrelated paper: Underpinning a Guiding Theory of Patient-Centered E-Health
Paper: Particle Swarm Optimization Algorithm for Integer Factorization Problem (IFP)
Related paper: Particle Swarm Optimization and Differential Evolution Algorithms : Technical Analysis , Applications and Hybridization Perspectives
Unrelated paper: Simulation and real-time implementation of sensorless field oriented control of induction motor at healthy state using rotor cage model and EKF
Paper: a journey through chaos and calmness : experiences of mindfulness training in patients with depressive symptoms after a recent coronary event - a qualitative diary content analysis .
Related paper: mechanisms of mindfulness .
Unrelated paper: Alterations in brain and immune function produced by mindfulness meditation
Paper: a journey through chaos and calmness : experiences of mindfulness training in patients with depressive symptoms after a recent coronary event - a qualitative diary content analysis .
Related paper: The clinical use of mindfulness meditation for the self-regulation of chronic pain
Unrelated paper: Generative Adversarial Networks for Noise Reduction in Low-Dose CT
Paper: a journey through chaos and calmness : experiences of mindfulness training in patients with depressive symptoms after a recent coronary event - a qualitative diary content analysis .
Related paper: The CES-D scale: A self-report depression scale for research in the general popula-tion
Unrelated paper: Non-Invasive Detection of Moving and Stationary Human With WiFi
Paper: a journey through chaos and calmness : experiences of mindfulness training in patients with depressive symptoms after a recent coronary event - a qualitative diary content analysis .
Related paper: The CES-D scale: A self-report depression scale for research in the general popula-tion
Unrelated paper: Reuse Approaches in Software Engineering and Knowledge Engineering: A Comparison
Paper: a journey through chaos and calmness : experiences of mindfulness training in patients with depressive symptoms after a recent coronary event - a qualitative diary content analysis .
Related paper: The CES-D scale: A self-report depression scale for research in the general popula-tion
Unrelated paper: Social Ties in Organizational Crowdfunding: Benefits of Team-Authored Proposals
Paper: Decentering and Related Constructs A Critical Review and Metacognitive Processes Model
Related paper: Effects of Mindfulness on Meta-Awareness and Specificity of Describing Prodromal Symptoms in Suicidal Depression
Unrelated paper: effects of mindfulness on psychological health : a review of empirical studies .
Paper: Decentering and Related Constructs A Critical Review and Metacognitive Processes Model
Related paper: Effects of Mindfulness on Meta-Awareness and Specificity of Describing Prodromal Symptoms in Suicidal Depression
Unrelated paper: Tag-based cooperative data gathering and energy recharging in wide area RFID sensor networks
Paper: Decentering and Related Constructs A Critical Review and Metacognitive Processes Model
Related paper: Effects of Mindfulness on Meta-Awareness and Specificity of Describing Prodromal Symptoms in Suicidal Depression
Unrelated paper: ViP-CNN: A Visual Phrase Reasoning Convolutional Neural Network for Visual Relationship Detection
Paper: Decentering and Related Constructs A Critical Review and Metacognitive Processes Model
Related paper: State Mindfulness Scale (SMS): development and initial validation.
Unrelated paper: A Hybrid FPGA-Based System for EEG- and EMG-Based Online Movement Prediction
Paper: Decentering and Related Constructs A Critical Review and Metacognitive Processes Model
Related paper: Effects of Mindfulness on Meta-Awareness and Specificity of Describing Prodromal Symptoms in Suicidal Depression
Unrelated paper: Learning to Map Sentences to Logical Form
Paper: A fingerprint segmentation technique based on Morphological processing
Related paper: FVC2002: Second Fingerprint Verification Competition
Unrelated paper: Fvc2000: Fingerprint verification competition
Paper: A fingerprint segmentation technique based on Morphological processing
Related paper: FVC2002: Second Fingerprint Verification Competition
Unrelated paper: Executive functioning in chronic alcoholism and Korsakoff syndrome.
Paper: A fingerprint segmentation technique based on Morphological processing
Related paper: FVC2002: Second Fingerprint Verification Competition
Unrelated paper: Architectural support for server-side PHP processing
Paper: A fingerprint segmentation technique based on Morphological processing
Related paper: FVC2002: Second Fingerprint Verification Competition
Unrelated paper: Ensemble boosted trees with synthetic features generation in application to bankruptcy prediction
Paper: A fingerprint segmentation technique based on Morphological processing
Related paper: FVC2002: Second Fingerprint Verification Competition
Unrelated paper: a two - wheeled inverted pendulum robot with friction .
Paper: Constructing an Interactive Natural Language Interface for Relational Databases
Related paper: Logos: a system for translating queries into narratives
Unrelated paper: Searching the Web.
Paper: Constructing an Interactive Natural Language Interface for Relational Databases
Related paper: Generating Typed Dependency Parses from Phrase Structure Parses
Unrelated paper: Fully Distributed Scrum: The Secret Sauce for Hyperproductive Offshored Development Teams
Paper: Constructing an Interactive Natural Language Interface for Relational Databases
Related paper: Efficient similarity joins for near-duplicate detection
Unrelated paper: Introduction to the R package TDA
Paper: Constructing an Interactive Natural Language Interface for Relational Databases
Related paper: Towards a theory of natural language interfaces to databases
Unrelated paper: Toward machines that behave ethically better than humans do
Paper: Constructing an Interactive Natural Language Interface for Relational Databases
Related paper: DISCOVER: Keyword Search in Relational Databases
Unrelated paper: The management of security in Cloud computing
Paper: Grasping unknown objects using an Early Cognitive Vision system for general scene understanding
Related paper: Learning Grasping Points with Shape Context
Unrelated paper: Learning grasp strategies with partial shape information
Paper: Grasping unknown objects using an Early Cognitive Vision system for general scene understanding
Related paper: Automatic grasp planning using shape primitives
Unrelated paper: Towards Natural Language Understanding of Partial Speech Recognition Results in Dialogue Systems
Paper: Grasping unknown objects using an Early Cognitive Vision system for general scene understanding
Related paper: Learning Grasping Points with Shape Context
Unrelated paper: A Distributed Infrastructure for Democratic Cloud Federations
Paper: Grasping unknown objects using an Early Cognitive Vision system for general scene understanding
Related paper: Automatic grasp planning using shape primitives
Unrelated paper: Matrix Computations and Optimization in Apache Spark
Paper: Grasping unknown objects using an Early Cognitive Vision system for general scene understanding
Related paper: Automatic grasp planning using shape primitives
Unrelated paper: Influence of Fluoride Ions Contamination in Front Opening Unified Pod (FOUP) Generating Defective Bonding Pad
Paper: Person Versus Process Praise and Criticism: Implications for Contingent Self-Worth and Coping
Related paper: a social - cognitive approach to motivation and personality .
Unrelated paper: Learned Helplessness in Humans: Critique and Reformulation
Paper: Person Versus Process Praise and Criticism: Implications for Contingent Self-Worth and Coping
Related paper: An analysis of learned helplessness: II. The processing of success.
Unrelated paper: a second - order nystrom - type discretization for the early - exercise curve of american put options .
Paper: Person Versus Process Praise and Criticism: Implications for Contingent Self-Worth and Coping
Related paper: An attributional theory of achievement motivation and emotion.
Unrelated paper: Augmented Reality for Construction Site Monitoring and Documentation
Paper: Person Versus Process Praise and Criticism: Implications for Contingent Self-Worth and Coping
Related paper: A hierarchical model of approach and avoidance achievement motivation
Unrelated paper: Effect of a Nutritional Intervention in Athlete’s Body Composition, Eating Behaviour and Nutritional Knowledge: A Comparison between Adults and Adolescents
Paper: Person Versus Process Praise and Criticism: Implications for Contingent Self-Worth and Coping
Related paper: An attributional theory of achievement motivation and emotion.
Unrelated paper: Plaque formation of Quesland V4 lentogenic strain of Newcastle disease virus adapted in chick embryo fibroblast cells
Paper: Diversified Stress Testing of RDF Data Management Systems
Related paper: 4 store : the design and implementation of a clustered rdf store .
Unrelated paper: An Efficient SQL-based RDF Querying Scheme
Paper: Diversified Stress Testing of RDF Data Management Systems
Related paper: Workload Matters: Why RDF Databases Need a New Design
Unrelated paper: songs to syntax : the linguistics of birdsong .
Paper: Diversified Stress Testing of RDF Data Management Systems
Related paper: Jena: implementing the semantic web recommendations
Unrelated paper: Intrinsic Subspace Evaluation of Word Embedding Representations
Paper: Diversified Stress Testing of RDF Data Management Systems
Related paper: Jena: implementing the semantic web recommendations
Unrelated paper: Is Linux kernel oops useful or not
Paper: Diversified Stress Testing of RDF Data Management Systems
Related paper: 4 store : the design and implementation of a clustered rdf store .
Unrelated paper: PriView: practical differentially private release of marginal contingency tables
Paper: Instance Embedding Transfer to Unsupervised Video Object Segmentation
Related paper: Mask R-CNN
Unrelated paper: SphereFlow: 6 DoF Scene Flow from RGB-D Pairs
Paper: Instance Embedding Transfer to Unsupervised Video Object Segmentation
Related paper: FlowNet 2.0: Evolution of Optical Flow Estimation with Deep Networks
Unrelated paper: Mobile banking adoption: A literature review