4397 search results - page 271 / 880 » Relational Algebra Operations |
140
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
Multilinear algebra is a powerful theoretical tool for visual
geometry, but widespread usage of traditional typographical
notation often hides its conceptual elegance and
simpli...
143
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
Abstract. We study the special form that the general multi-image tensor formalism takes under the plane + parallax decomposition, including matching tensors and constraints, closur...
123
Voted
HYBRID
2004
Springer
15 years 10 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
176
Voted
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
160
click to vote
FOSSACS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...