Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Hardware
FPGA-based Module for SURF Extraction
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Efficient Verification of Railway Infrastructure Designs Against Standard Regulations
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Deciding Floating-Point Logic With Abstract Conflict Driven Clause Learning
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Model Checking Boot Code From AWS Data Centers
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Correction To: Rosette Plant Segmentation With Leaf Count Using Orthogonal Transform and Deep Convolutional Neural Network
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Contour Segmentation in 2D Ultrasound Medical Images With Particle Filtering
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Finger-Vein Authentication Based on Deformation-Tolerant Feature-Point Matching
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Runtime Enforcement of Timed Properties Revisited
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Evaluating Multimedia Features and Fusion for Example-Based Event Detection
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
‹
86
87
88
89
90
91
92
›
