Sciweavers

2100 search results - page 61 / 420
» Fundamentals of the problem
Sort
View
NIPS
2008
13 years 11 months ago
Kernelized Sorting
Object matching is a fundamental operation in data analysis. It typically requires the definition of a similarity measure between the classes of objects to be matched. Instead, we...
Novi Quadrianto, Le Song, Alex J. Smola
CORR
2008
Springer
71views Education» more  CORR 2008»
13 years 10 months ago
Distributed Double Spending Prevention
Abstract. We study the problem of preventing double spending in electronic payment schemes in a distributed fashion. This problem occurs, for instance, when the spending of electro...
Jaap-Henk Hoepman
KI
2008
Springer
13 years 10 months ago
Fusing DL Reasoning with HTN Planning
We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as wel...
Ronny Hartanto, Joachim Hertzberg
ACL
2009
13 years 8 months ago
Extracting Paraphrases of Technical Terms from Noisy Parallel Software Corpora
In this paper, we study the problem of extracting technical paraphrases from a parallel software corpus, namely, a collection of duplicate bug reports. Paraphrase acquisition is a...
Xiaoyin Wang, David Lo, Jing Jiang, Lu Zhang, Hong...
FAC
2010
107views more  FAC 2010»
13 years 8 months ago
Algebra and logic for access control
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
Matthew Collinson, David J. Pym