5334 search results - page 370 / 1067 » Communicating quantum processes |
156
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
We define Trusted Kernel-based Coalition Formation as a novel extension to the traditional kernel-based coalition formation process which ensures agents choose the most reliable ...
196
Voted
CIVR
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents a system designed for the management of multimedia databases that embarks upon the problem of efficient media processing and representation for automatic semant...
165
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract In this paper we introduce the Weighted Suffix Tree, an efficient data structure for computing string regularities in weighted sequences of molecular data. Molecular Wei...
165
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
180
click to vote
DAGM
2003
Springer
15 years 12 months ago
2003
Springer
We present an approach to parallel variational optical flow computation by using an arbitrary partition of the image plane and iteratively solving related local variational proble...