Results 211 to 220 of about 24,591 (261)
Some of the next articles are maybe not open access.

Related searches:

Backpropagation for Parametric STL

2019 IEEE Intelligent Vehicles Symposium (IV), 2019
This paper proposes a method to evaluate Signal Temporal Logic (STL) robustness formulas using computation graphs. This method results in efficient computations and enables the use of backpropagation for optimizing over STL parameters. Inferring STL formulas from behavior traces can provide powerful insights into complex systems, such as longterm ...
Karen Leung   +2 more
openaire   +1 more source

STL and extensions

Advances in Engineering Software, 2000
Abstract Three approaches to improve the free form fabrication process are discussed: (i) the use of approximation control parameters (ii) the development and use of standard transform language (STL) extensions and (iii) methods to handle exact geometrical models at the rapid prototyping (RP) level. The first two of these are concerned with improving
I. Stroud, P.C. Xirouchakis
openaire   +1 more source

The STL Containers

2020
The Standard Template Library (STL) consists of a standard set of functionality that implementers are required to support. Creating a standard ensures that code can be used interchangeably on different platforms and operating systems as long as the supplied implementations conform to that standard.
J. Burton Browning, Bruce Sutherland
openaire   +1 more source

The STL Algorithms

2020
The STL provides a set of algorithms that can be used along with the containers that it also supplies. These algorithms all work with iterators. An iterator is an abstraction mechanism that allows traversal behavior on many different STL collections. This chapter covers iterators and some of different algorithms along with their uses.
J. Burton Browning, Bruce Sutherland
openaire   +1 more source

STLInspector: STL Validation with Guarantees

2017
STLInspector is a tool for systematic validation of Signal Temporal Logic (STL) specifications against informal textual requirements. Its goal is to identify typical faults that occur in the process of formalizing requirements by mutating a candidate specification.
Hendrik Roehm   +2 more
openaire   +1 more source

Repair of STL errors

International Journal of Production Research, 2008
Errors in stereo-lithography files have often resulted in inconvenience of successive processing. The intention of this paper is to propose a systematic method to repair defects in stereo-lithography files. An error descriptive graph was generated to provide a deep insight into errors.
F. Liu, H. Zhou, D. Li
openaire   +1 more source

STL’s bitset

2014
The last STL container type object that I cover is the bitset. I say STL type because the bitset is not strictly a container. It does not support iterators, the range-based for loops, or STL's algorithms. A bitset is used for tracking individual boolean values in a combined set.
openaire   +1 more source

Home - About - Disclaimer - Privacy