Search
Now showing items 51-52 of 52
A neural network algorithm for hardware-software verification
(
IEEE
, 2003 , Conference Paper)
Formal verification is the task of proving that a property holds for a model of a design. This paper examines the idea of a Neural Network-based algorithm used to find the set of states that makes a specification valid. ...
Reveal the hidden layer via entity embedding in traffic prediction
(
Elsevier B.V.
, 2019 , Conference Paper)
The neural network-based models have been widely used in traffic prediction. They have improved accuracy and efficiency in traffic flow, speed, passenger flow, and delay. Many variables are considered to predict traffic ...