7924 search results - page 299 / 1585 » Non-Malleable Functions and Their Applications |
188
Voted
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
220
click to vote
ERLANG
2003
ACM
16 years 21 days ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
203
click to vote
FLOPS
2008
Springer
15 years 9 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
181
Voted
DGCI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Differential operators are essential in many image processing applications. Previous work has shown how to compute derivatives more accurately by examining the image loca...
229
click to vote
IJCV
1998
15 years 7 months ago
1998
A major problem in object recognition is that a novel image of a given object can be different from all previously seen images. Images can vary considerably due to changes in viewi...