1999 search results - page 167 / 400 » Finding Reductions Automatically |
TACAS
1997
Springer
15 years 2 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
ICDAR
2007
IEEE
15 years 2 months ago
2007
IEEE
In this paper, a new method for off-line writer verification and identification is proposed which encodes writer features as a mix of typical handwriting styles, written by so-cal...
ICASSP
2009
IEEE
15 years 2 months ago
2009
IEEE
The outputs of multi-layer perceptron (MLP) classifiers have been successfully used in tandem systems as features for HMM-based automatic speech recognition. In a previous paper, ...
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...
75
Voted
ISLPED
1995
ACM
15 years 1 months ago
1995
ACM
We present a technique that automatically synthesizes nite state machines with gated clocks to reduce the power dissipation of the nal implementation. We describe a new transfor...