Sciweavers

2452 search results - page 294 / 491
» On Reduction of Lagrange Systems
Sort
View
PEPM
1994
ACM
15 years 8 months ago
Dictionary-Free Overloading by Partial Evaluation
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
Mark P. Jones
VLDB
1993
ACM
84views Database» more  VLDB 1993»
15 years 8 months ago
A New Presumed Commit Optimization for Two Phase Commit
Two phase commit (ZPC) ia used to coordinate the commitment of trunsactiom in distributed systems. The standard 2PC optimization is the presumed abort variant, which wea fewer mes...
Butler W. Lampson, David B. Lomet
AGP
2010
IEEE
15 years 8 months ago
The Transformational Approach to Program Development
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
ICDAR
2007
IEEE
15 years 8 months ago
Towards Explainable Writer Verification and Identification Using Vantage Writers
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...
Axel Brink, Lambert Schomaker, Marius Bulacu
ICASSP
2009
IEEE
15 years 8 months ago
Strategies for modeling reverberant speech in the feature domain
The length of the room impulse response characterizing the acoustic path between speaker and microphone is significantly larger than the length of the analysis window used for fea...
Armin Sehr, Walter Kellermann