1036 search results - page 112 / 208 » Algorithms for Learning Regular Expressions |
129
click to vote
JMLR
2012
13 years 4 months ago
2012
We transform the outputs of each hidden neuron in a multi-layer perceptron network to have zero output and zero slope on average, and use separate shortcut connections to model th...
104
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
115
click to vote
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
102
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose a new method for imaging sound speed in breast tissue from measurements obtained by ultrasound tomography (UST) scanners. Given the measurements, our algorithm finds a...
192
Voted
PRL
2011
14 years 4 months ago
2011
Benchmarking pattern recognition, machine learning and data mining methods commonly relies on real-world data sets. However, there are some disadvantages in using real-world data....