Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Architecture
Translating Java for Multiple Model Checkers: The Bandera Back-End
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Robust Safety of Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Fast Prototyping of Parallel-Vision Applications Using Functional Skeletons
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Structural Similarity-Based Object Tracking in Multimodality Surveillance Videos
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
A Robust Variable Order Facet Model for Image Data
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
An Optimization Framework for Feature Extraction
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Global Hand Pose Estimation by Multiple Camera Ellipse Tracking
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Restoring Subsampled Color Images
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Checking Extended CTL Properties Using Guarded Quotient Structures
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
‹
707
708
709
710
711
712
713
›
