Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
We describe design and implementation of a "Gridenabled" message passing library, in the context of Phoenix message passing model. It supports (1) message routing betwee...
This paper investigates the linear degeneracies of projective structure estimation from point and line features across three views. We show that the rank of the linear system of e...
Since its inception, the Internet has served as a virtual meeting place for people sharing common interests. These electronically supported interest groups are nowadays called Vir...
In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational ar...