18209 search results - page 207 / 3642 » Some Remarks on the Paper |
167
click to vote
FP
1992
15 years 10 months ago
1992
In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transform...
131
click to vote
FUN
2007
Springer
15 years 10 months ago
2007
Springer
A spoonerism is a sentence in some natural language where the swapping of two letters results in a new sentence with a different meaning. In this paper, we give some efficient algo...
130
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for ...
187
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
The group signature scheme [1], ACJT for short, is popular. In this paper we show that it is not secure. It does not satisfy exculpability. The group manager can sign on behalf of ...
174
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...