Sciweavers

7921 search results - page 265 / 1585
» LSH-preserving functions and their applications
Sort
View
CAISE
2006
Springer
15 years 10 months ago
An Architecture for a Semantic Portal
Abstract. Current Web applications provide their information and functionalities to human users only. To make Web applications also accessible for machines, the Semantic Web propos...
Gerald Reif, Harald Gall
SIGSOFT
2009
ACM
16 years 7 months ago
Static data race detection for concurrent programs with asynchronous calls
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...
Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhan...
ERLANG
2003
ACM
15 years 12 months ago
ARMISTICE: an experience developing management software with Erlang
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...
David Cabrero, Carlos Abalde, Carlos Varela, Laura...
FLOPS
2008
Springer
15 years 8 months ago
On-Demand Refinement of Dependent Types
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...
Hiroshi Unno, Naoki Kobayashi
DGCI
2008
Springer
15 years 7 months ago
Optimal Difference Operator Selection
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...
Peter Veelaert, Kristof Teelen