Amanote Research
Register
Sign In
An Efficient Representation for Formal Synthesis
doi 10.1109/isss.1997.621670
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
C. Blumenrohr
D. Eisenbiegler
Publisher
IEEE Comput. Soc
Related search
An Object-Oriented Representation for Efficient Reinforcement Learning
An Efficient Graph-Based Algorithm for Fingerprint Representation and Matching
RGFGA: An Efficient Representation and Crossover for Grouping Genetic Algorithms
Evolutionary Computation
Computational Mathematics
Formal Representation of Temporal Expressions
Sprite Tree: An Efficient Image-Based Representation for Networked Virtual Environments
Visual Computer
Pattern Recognition
Computer Vision
Computer Graphics
Computer-Aided Design
Software
An Efficient Representation of Quadtrees and Bintrees for Multiresolution Terrain Models
Geo-Spatial Information Science
Development
Planning
Computers in Earth Sciences
Geography
Formal Representation of Characteristics in Design Thinking
Journal of Architecture and Planning (Transactions of AIJ)
Deep Binary Representation for Efficient Image Retrieval
Advances in Multimedia
Computer Science
An Efficient Copper-Catalysed Pyrrole Synthesis
Arkivoc
Organic Chemistry
