2636 search results - page 219 / 528 » Linear Programming |
109
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
143
Voted
CSFW
1999
IEEE
15 years 7 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
123
Voted
NECO
2007
15 years 2 months ago
2007
In recent years, gradient-based LSTM recurrent neural networks (RNNs) solved many previously RNN-unlearnable tasks. Sometimes, however, gradient information is of little use for t...
132
click to vote
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
109
Voted
KONVENS
2000
15 years 6 months ago
2000
An approach for a program is presented that automatically detects the position of pitch accents and intonation phrase (IP) boundaries from waveforms. The technique maps acoustic c...