andersonbcdefg/st_specter_train_triples huggingface dataset:
Paper: Bakar Kiasan: flexible contract checking for critical systems using symbolic execution
Related paper: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Unrelated paper: Multi-criteria decision making for choosing socially responsible investment within a behavioral portfolio theory framework: a new way of investing into a crisis environment
Paper: Bakar Kiasan: flexible contract checking for critical systems using symbolic execution
Related paper: Design and Verification of Secure Systems
Unrelated paper: remark on " fast floating - point processing in common lisp " .
Paper: Bakar Kiasan: flexible contract checking for critical systems using symbolic execution
Related paper: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Unrelated paper: A new scheme on link quality prediction and its applications to metric-based routing
Paper: Inpainting of Continuous Frames of Old Movies Based on Deep Neural Network
Related paper: Improved flicker removal through motion vectors compensation
Unrelated paper: Video inpainting of occluding and occluded objects
Paper: Inpainting of Continuous Frames of Old Movies Based on Deep Neural Network
Related paper: Generative Face Completion
Unrelated paper: An Experimental Comparison of Active Learning Strategies for Partially Labeled Sequences
Paper: Inpainting of Continuous Frames of Old Movies Based on Deep Neural Network
Related paper: Generative Face Completion
Unrelated paper: Reduced Graphene Oxide Electrically Contacted Graphene Sensor for Highly Sensitive Nitric Oxide Detection
Paper: Inpainting of Continuous Frames of Old Movies Based on Deep Neural Network
Related paper: Generative Face Completion
Unrelated paper: Smart city and the applications
Paper: Inpainting of Continuous Frames of Old Movies Based on Deep Neural Network
Related paper: Improving Consistency and Correctness of Sequence Inpainting using Semantically Guided Generative Adversarial Network
Unrelated paper: The Investigation of PIN diode switch on reconfigurable antenna
Paper: Bayesian Mixed-Effects Models for Recommender Systems
Related paper: Content-Based, Collaborative Recommendation.
Unrelated paper: Learning internal representations by error propagation
Paper: Bayesian Mixed-Effects Models for Recommender Systems
Related paper: Learning and Revising User Profiles: The Identification of Interesting Web Sites
Unrelated paper: Scale-aware multi-level guidance for interactive instance segmentation
Paper: Bayesian Mixed-Effects Models for Recommender Systems
Related paper: using collaborative filtering to weave an information tapestry .
Unrelated paper: Sparse Coding From a Bayesian Perspective
Paper: Bayesian Mixed-Effects Models for Recommender Systems
Related paper: Learning and Revising User Profiles: The Identification of Interesting Web Sites
Unrelated paper: The index of autonomous functioning: Development of a scale of human autonomy
Paper: Bayesian Mixed-Effects Models for Recommender Systems
Related paper: Content-Based, Collaborative Recommendation.
Unrelated paper: Amygdala Microcircuits Controlling Learned Fear
Paper: When time is space: Evidence for a mental time line
Related paper: Recruitment of an area involved in eye movements during mental arithmetic
Unrelated paper: When is a linguistic metaphor a conceptual metaphor
Paper: When time is space: Evidence for a mental time line
Related paper: Do English and Mandarin speakers think about time differently?
Unrelated paper: The evolution of agent-based simulation platforms: A review of NetLogo 5.0 and ReLogo
Paper: When time is space: Evidence for a mental time line
Related paper: Do English and Mandarin speakers think about time differently?
Unrelated paper: Bitemark identification in child abuse cases.
Paper: When time is space: Evidence for a mental time line
Related paper: Recruitment of an area involved in eye movements during mental arithmetic
Unrelated paper: Monoclonal antibody 9EG7 defines a novel beta 1 integrin epitope induced by soluble ligand and manganese, but inhibited by calcium.
Paper: When time is space: Evidence for a mental time line
Related paper: Do English and Mandarin speakers think about time differently?
Unrelated paper: Building reputation in StackOverflow: An empirical investigation
Paper: Deformable soft wheel robot using hybrid actuation
Related paper: Design, fabrication and analysis of a body-caudal fin propulsion system for a microrobotic fish
Unrelated paper: Caterpillar locomotion: A new model for softbodied climbing and burrowing robots
Paper: Deformable soft wheel robot using hybrid actuation
Related paper: Design, fabrication and analysis of a body-caudal fin propulsion system for a microrobotic fish
Unrelated paper: Beyond Bitcoin - Part I: A critical look at blockchain-based systems
Paper: Deformable soft wheel robot using hybrid actuation
Related paper: Design, fabrication and analysis of a body-caudal fin propulsion system for a microrobotic fish
Unrelated paper: LMF-Based Control Algorithm for Single Stage Three-Phase Grid Integrated Solar PV System
Paper: Deformable soft wheel robot using hybrid actuation
Related paper: Design, fabrication and analysis of a body-caudal fin propulsion system for a microrobotic fish
Unrelated paper: Automatic Quantification of Tumour Hypoxia From Multi-Modal Microscopy Images Using Weakly-Supervised Learning Methods
Paper: Deformable soft wheel robot using hybrid actuation
Related paper: Design, fabrication and analysis of a body-caudal fin propulsion system for a microrobotic fish
Unrelated paper: Improving Latent Factor Models via Personalized Feature Projection for One Class Recommendation
Paper: Combining Independent Modules to Solve Multiple-choice Synonym and Analogy Problems
Related paper: Metaphors We Live by
Unrelated paper: Semantic distance in WordNet: An experimental, application-oriented evaluation of five measures
Paper: Combining Independent Modules to Solve Multiple-choice Synonym and Analogy Problems
Related paper: Adaptive Mixtures of Local Experts
Unrelated paper: 7 Multisensory and sensorimotor maps
Paper: Combining Independent Modules to Solve Multiple-choice Synonym and Analogy Problems
Related paper: Methods of combining multiple classifiers and their applications to handwriting recognition
Unrelated paper: spatial registration and normalization of images .
Paper: Combining Independent Modules to Solve Multiple-choice Synonym and Analogy Problems
Related paper: Adaptive Mixtures of Local Experts
Unrelated paper: Online farming based on embedded systems and wireless sensor networks
Paper: Combining Independent Modules to Solve Multiple-choice Synonym and Analogy Problems
Related paper: Adaptive Mixtures of Local Experts
Unrelated paper: Developing a NATO BYOD security policy
Paper: REAL-TIME BEAT-SYNCHRONOUS ANALYSIS OF MUSICAL AUDIO
Related paper: Techniques for the Automated Analysis of Musical Audio
Unrelated paper: To catch a chorus: using chroma-based representations for audio thumbnailing
Paper: REAL-TIME BEAT-SYNCHRONOUS ANALYSIS OF MUSICAL AUDIO
Related paper: Techniques for the Automated Analysis of Musical Audio
Unrelated paper: Spreader Grafts in Functional Rhinoplasty
Paper: REAL-TIME BEAT-SYNCHRONOUS ANALYSIS OF MUSICAL AUDIO
Related paper: Techniques for the Automated Analysis of Musical Audio
Unrelated paper: Exploring the patterns of social behavior in GitHub
Paper: REAL-TIME BEAT-SYNCHRONOUS ANALYSIS OF MUSICAL AUDIO
Related paper: Techniques for the Automated Analysis of Musical Audio
Unrelated paper: a novel biologically mechanism - based visual cognition model - automatic extraction of semantics , formation of integrated concepts and re - selection features for ambiguity .
Paper: REAL-TIME BEAT-SYNCHRONOUS ANALYSIS OF MUSICAL AUDIO
Related paper: A Robust Mid-Level Representation for Harmonic Content in Music Signals
Unrelated paper: Topic modeling for expert finding using latent Dirichlet allocation
Paper: Road Sign Detection in Images: A Case Study
Related paper: Fast shape-based road sign detection for a driver assistance system
Unrelated paper: Robust Real-Time Face Detection
Paper: Road Sign Detection in Images: A Case Study
Related paper: A system for traffic sign detection, tracking, and recognition using color, shape, and motion information
Unrelated paper: performance improvement of decision based un - symmetric trimmed midpoint filter for removing high density salt and pepper noise .
Paper: Road Sign Detection in Images: A Case Study
Related paper: Fast shape-based road sign detection for a driver assistance system
Unrelated paper: Towards Automation and Classification of Bharatanatyam Dance Sequences
Paper: Road Sign Detection in Images: A Case Study
Related paper: In-vehicle camera traffic sign detection and recognition
Unrelated paper: Comparing Policy-Gradient Algorithms
Paper: Road Sign Detection in Images: A Case Study
Related paper: Fast shape-based road sign detection for a driver assistance system
Unrelated paper: Design, integration, and field evaluation of a robotic apple harvester
Paper: Real-time Human Pose Estimation from Video with Convolutional Neural Networks
Related paper: Inception-v4, Inception-ResNet and the Impact of Residual Connections on Learning
Unrelated paper: Histograms of oriented gradients for human detection
Paper: Real-time Human Pose Estimation from Video with Convolutional Neural Networks
Related paper: DeepCut: Joint Subset Partition and Labeling for Multi Person Pose Estimation
Unrelated paper: Rectifying transformations that minimize resampling effects
Paper: Real-time Human Pose Estimation from Video with Convolutional Neural Networks
Related paper: Convolutional Pose Machines
Unrelated paper: Anti-Aliased Euclidean Distance Transform
Paper: Real-time Human Pose Estimation from Video with Convolutional Neural Networks
Related paper: Human Pose Estimation Using Body Parts Dependent Joint Regressors
Unrelated paper: UAV formation flight using 3D potential field
Paper: Real-time Human Pose Estimation from Video with Convolutional Neural Networks
Related paper: Gradient-Based Learning Applied to Document Recognition
Unrelated paper: Cyber victimization in middle school and relations to social emotional outcomes
Paper: Exploring LOD through metadata extraction and data-driven visualizations
Related paper: The Semantic Web Revisited
Unrelated paper: Tabulator: Exploring and analyzing linked data on the semantic web
Paper: Exploring LOD through metadata extraction and data-driven visualizations
Related paper: Formal Linked Data Visualization Model
Unrelated paper: Unsupervised Detection and Promotion of Authoritative Domains for Medical Queries in Web Search.
Paper: Exploring LOD through metadata extraction and data-driven visualizations
Related paper: Formal Linked Data Visualization Model
Unrelated paper: NON-PHOTOREALISTIC RENDERING USING GENETIC PROGRAMMING
Paper: Exploring LOD through metadata extraction and data-driven visualizations
Related paper: The Semantic Web Revisited
Unrelated paper: Robust game theory
Paper: Exploring LOD through metadata extraction and data-driven visualizations
Related paper: The eyes have it: a task by data type taxonomy for information visualizations
Unrelated paper: Balancing and Velocity Control of a Unicycle Robot Based on the Dynamic Model
Paper: Analytic Performance Model of a Main-Memory Index Structure
Related paper: CORDS: automatic discovery of correlations and soft functional dependencies
Unrelated paper: Learning belief networks from data: an information theory based approach
Paper: Analytic Performance Model of a Main-Memory Index Structure
Related paper: CORDS: automatic discovery of correlations and soft functional dependencies
Unrelated paper: Fast Searchable Encryption With Tunable Locality
Paper: Analytic Performance Model of a Main-Memory Index Structure
Related paper: CORDS: automatic discovery of correlations and soft functional dependencies
Unrelated paper: A Multidialectal Parallel Corpus of Arabic
Paper: Analytic Performance Model of a Main-Memory Index Structure
Related paper: CORDS: automatic discovery of correlations and soft functional dependencies
Unrelated paper: Data-driven analytics for cyber-threat intelligence and information sharing
Paper: Analytic Performance Model of a Main-Memory Index Structure
Related paper: CORDS: automatic discovery of correlations and soft functional dependencies
Unrelated paper: Design of a small size biquad-UWB-patch-antenna and signal processing for detecting respiration of trapped victims
Paper: Broad learning system: Feature extraction based on K-means clustering algorithm
Related paper: Gradient-Based Learning Applied to Document Recognition
Unrelated paper: Multi-layer feedforward networks are uni-versal approximators
Paper: Broad learning system: Feature extraction based on K-means clustering algorithm
Related paper: Broad Learning System: An Effective and Efficient Incremental Learning System Without the Need for Deep Architecture
Unrelated paper: How Useful are Your Comments ? Analyz i ng and P redi ct i ng YouTube Comment s and Comment Ratings
Paper: Broad learning system: Feature extraction based on K-means clustering algorithm
Related paper: Very Deep Convolutional Networks for Large-Scale Image Recognition
Unrelated paper: free riding and sales strategies for the internet * .
Paper: Broad learning system: Feature extraction based on K-means clustering algorithm
Related paper: Very Deep Convolutional Networks for Large-Scale Image Recognition
Unrelated paper: Articulated people detection and pose estimation: Reshaping the future
Paper: Broad learning system: Feature extraction based on K-means clustering algorithm
Related paper: Deep Boltzmann machines
Unrelated paper: Impact of Social Network Structure on Content Propagation: A Study using YouTube Data
Paper: PDF-TREX: An Approach for Recognizing and Extracting Tables from PDF Documents
Related paper: a survey of table recognition .
Unrelated paper: Mining Tables From Large Scale HTML Texts
Paper: PDF-TREX: An Approach for Recognizing and Extracting Tables from PDF Documents
Related paper: Towards domain-independent information extraction from web tables
Unrelated paper: I-DCSK: An Improved Noncoherent Communication System Architecture
Paper: PDF-TREX: An Approach for Recognizing and Extracting Tables from PDF Documents
Related paper: Towards domain-independent information extraction from web tables
Unrelated paper: Recommendation System Using Bloom Filter in Mapreduce
Paper: PDF-TREX: An Approach for Recognizing and Extracting Tables from PDF Documents
Related paper: a survey of table recognition .
Unrelated paper: Collaborative and secure sharing of healthcare data in multi-clouds
Paper: PDF-TREX: An Approach for Recognizing and Extracting Tables from PDF Documents
Related paper: pdf2table: A Method to Extract Table Information from PDF Files
Unrelated paper: Software Reliability Modeling
Paper: Recognition of Human Iris Patterns for Biometric Identification
Related paper: Person Identification Technique Using Human Iris Recognition
Unrelated paper: Face recognition using the nearest feature line method
Paper: Recognition of Human Iris Patterns for Biometric Identification
Related paper: Accurate iris segmentation based on novel reflection and eyelash detection model
Unrelated paper: The affect system has parallel and integrative processing components: Form follows function
Paper: Recognition of Human Iris Patterns for Biometric Identification
Related paper: A Human Identification Technique Using Images of the Iris and Wavelet Transform
Unrelated paper: On Pre-Trained Image Features and Synthetic Images for Deep Learning
Paper: Recognition of Human Iris Patterns for Biometric Identification
Related paper: Image Representation Using 2D Gabor Wavelets
Unrelated paper: Exploiting the web of data in model-based recommender systems
Paper: Recognition of Human Iris Patterns for Biometric Identification
Related paper: Iris recognition using circular symmetric filters
Unrelated paper: Activation of MITF by Argan Oil Leads to the Inhibition of the Tyrosinase and Dopachrome Tautomerase Expressions in B16 Murine Melanoma Cells
Paper: Brand followers' retweeting behavior on Twitter: How brand relationships influence brand electronic word-of-mouth
Related paper: Measuring user influence in Twitter: The million follower fallacy
Unrelated paper: Why we twitter: understanding microblogging usage and communities
Paper: Brand followers' retweeting behavior on Twitter: How brand relationships influence brand electronic word-of-mouth
Related paper: Everyone's an influencer: quantifying influence on twitter
Unrelated paper: The NaV1.7 sodium channel: from molecule to man
Paper: Brand followers' retweeting behavior on Twitter: How brand relationships influence brand electronic word-of-mouth
Related paper: How and why people Twitter: the role that micro-blogging plays in informal communication at work
Unrelated paper: Sensor-based navigation of a mobile robot in an indoor environment
Paper: Brand followers' retweeting behavior on Twitter: How brand relationships influence brand electronic word-of-mouth
Related paper: Social network sites: definition, history, and scholarship
Unrelated paper: Alias analysis of executable code
Paper: Brand followers' retweeting behavior on Twitter: How brand relationships influence brand electronic word-of-mouth
Related paper: How and why people Twitter: the role that micro-blogging plays in informal communication at work
Unrelated paper: An Efficient Deep Reinforcement Learning Model for Urban Traffic Control
Paper: A Framework for Reasoning About the Human in the Loop
Related paper: Decision strategies and susceptibility to phishing
Unrelated paper: What makes Web sites credible?: a report on a large quantitative study
Paper: A Framework for Reasoning About the Human in the Loop
Related paper: Why phishing works
Unrelated paper: FOREIGN LANGUAGE LEARNING AFFECTING MOTHER TONGUE
Paper: A Framework for Reasoning About the Human in the Loop
Related paper: Gathering evidence: use of visual security cues in web browsers
Unrelated paper: Metasurface Superstrate Antenna With Wideband Circular Polarization for Satellite Communication Application
Paper: A Framework for Reasoning About the Human in the Loop
Related paper: Gathering evidence: use of visual security cues in web browsers
Unrelated paper: Instance based human physical activity(hpa) recognition using shimmer2 wearable sensor data sets
Paper: A Framework for Reasoning About the Human in the Loop
Related paper: Why phishing works
Unrelated paper: Fact, Fiction, a nd Value Investing
Paper: A Generalized Iterated Shrinkage Algorithm for Non-convex Sparse Coding
Related paper: Fast image deconvolution using hyper-laplacian priors
Unrelated paper: Singularity Detection And Processing With Wavelets
Paper: A Generalized Iterated Shrinkage Algorithm for Non-convex Sparse Coding
Related paper: Feature-enhanced synthetic aperture radar image formation based on nonquadratic regularization.
Unrelated paper: Multiscale Fusion of Visible and Thermal IR Images for Illumination-Invariant Face Recognition
Paper: A Generalized Iterated Shrinkage Algorithm for Non-convex Sparse Coding
Related paper: Fast image deconvolution using hyper-laplacian priors
Unrelated paper: The Ethical Dangers of Deliberative Decision Making
Paper: A Generalized Iterated Shrinkage Algorithm for Non-convex Sparse Coding
Related paper: for most large underdetermined systems of linear equations the minimal ` 1 - norm solution is also the sparsest solution .
Unrelated paper: Bigtable: A Distributed Storage System for Structured Data
Paper: A Generalized Iterated Shrinkage Algorithm for Non-convex Sparse Coding
Related paper: De-Noising By Soft-Thresholding
Unrelated paper: Open access resources for genome-wide association mapping in rice
Paper: Innovative design of a claw-wheel transformable robot
Related paper: RHex: A Simple and Highly Mobile Hexapod Robot
Unrelated paper: An innovative Space Rover with Extended Climbing Abilities
Paper: Innovative design of a claw-wheel transformable robot
Related paper: Athlete: A cargo handling and manipulation robot for the moon
Unrelated paper: Urban Water Flow and Water Level Prediction Based on Deep Learning
Paper: Innovative design of a claw-wheel transformable robot
Related paper: Reliable stair climbing in the simple hexapod 'RHex'
Unrelated paper: Deep Variational Bayes Filters: Unsupervised Learning of State Space Models from Raw Data
Paper: Innovative design of a claw-wheel transformable robot
Related paper: Athlete: A cargo handling and manipulation robot for the moon
Unrelated paper: making scheduling " cool " : temperature - aware workload placement in data centers .
Paper: Innovative design of a claw-wheel transformable robot
Related paper: Athlete: A cargo handling and manipulation robot for the moon
Unrelated paper: mobile - robot navigation with complete coverage of unstructured environments .
Paper: FPAP: A Folded Architecture for Energy-Quality Scalable Convolutional Neural Networks
Related paper: XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks
Unrelated paper: Return of the Devil in the Details: Delving Deep into Convolutional Nets
Paper: FPAP: A Folded Architecture for Energy-Quality Scalable Convolutional Neural Networks
Related paper: Deep neural networks are robust to weight binarization and other non-linear distortions
Unrelated paper: 2.5D Visual Sound
Paper: FPAP: A Folded Architecture for Energy-Quality Scalable Convolutional Neural Networks
Related paper: deep compression : compressing deep neural network with pruning , trained quantization and huffman coding .
Unrelated paper: Deep Learning Based Large-Scale Automatic Satellite Crosswalk Classification
Paper: FPAP: A Folded Architecture for Energy-Quality Scalable Convolutional Neural Networks
Related paper: Can FPGAs Beat GPUs in Accelerating Next-Generation Deep Neural Networks?
Unrelated paper: Using boosted trees for click-through rate prediction for sponsored search
Paper: FPAP: A Folded Architecture for Energy-Quality Scalable Convolutional Neural Networks
Related paper: BinaryConnect: Training Deep Neural Networks with binary weights during propagations
Unrelated paper: Achievable Rates of UAV-Relayed Cooperative Cognitive Radio MIMO Systems
Paper: Hand Gesture Recognition Systems: A Survey
Related paper: Vision-based hand pose estimation: A review
Unrelated paper: Visual pattern recognition by moment invariants
Paper: Hand Gesture Recognition Systems: A Survey
Related paper: Vision-based hand pose estimation: A review
Unrelated paper: Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning
Paper: Hand Gesture Recognition Systems: A Survey
Related paper: 3D Hand Gesture Recognition Based on Sensor Fusion of Commodity Hardware
Unrelated paper: On the sample complexity of subspace clustering with missing data
Paper: Hand Gesture Recognition Systems: A Survey
Related paper: REAL TIME HAND GESTURE RECOGNITION USING SIFT
Unrelated paper: Towards flexible automated software architecture erosion diagnosis and treatment
Paper: Hand Gesture Recognition Systems: A Survey
Related paper: REAL TIME HAND GESTURE RECOGNITION USING SIFT
Unrelated paper: review of fish swimming modes for aquatic locomotion submitted to the ieee journal of oceanic engineering december 1998 .
Paper: Embedded sign language interpreter system for deaf and dumb people
Related paper: Speech-To-Text Conversion STT System Using Hidden Markov Model HMM
Unrelated paper: Voice activity detection Algorithm for Speech Recognition Applications
Paper: Embedded sign language interpreter system for deaf and dumb people
Related paper: Speech-To-Text Conversion STT System Using Hidden Markov Model HMM
Unrelated paper: Beyond AMT: An Analysis of Crowd Work Platforms
Paper: Embedded sign language interpreter system for deaf and dumb people
Related paper: Speech-To-Text Conversion STT System Using Hidden Markov Model HMM
Unrelated paper: What's new with WhatsApp & Co.? Revisiting the Security of Smartphone Messaging Applications