Automata-theoretic verification of systems
Automated approach to resolving artificial algebraic loops
Automated approach to resolving artificial algebraic loops
Automated bottom-up and top-down partitioned design synthesis
Automated connections of computer-aided design components
Automated creation of metrology recipes
Automated custom configuration system and method
Automated event monitoring system for online reservoir...
Automated field development planning of well and drainage...
Automated generation of lean models for injection molding...
Automated generator of optimal models for the statistical...
Automated horizontally structured manufacturing process...
Automated method and system for object configuration
Automated methods for simulating a biological network
Automated methods for simulating a biological network
Automated model configuration and deployment system for...
Automated selection of optical systems
Automated sequence of machine-performed attempts to unfreeze an
Automated system for extracting and combining tool trace...
Automated system for modeling faulted multi-valued horizons