Sciweavers

1730 search results - page 255 / 346
» Algebra and Computation
Sort
View
135
Voted
GEOINFORMATICA
2002
100views more  GEOINFORMATICA 2002»
15 years 3 months ago
Vagueness and Rough Location
This paper deals with the representation and the processing of information about spatial objects with indeterminate location like valleys or dunes (objects subject to vagueness). ...
Thomas Bittner, John G. Stell
120
Voted
ECCC
1998
117views more  ECCC 1998»
15 years 3 months ago
Determinant: Old Algorithms, New Insights
In this paper we approach the problem of computing the characteristic polynomial of a matrix from the combinatorial viewpoint. We present several combinatorial characterizations of...
Meena Mahajan, V. Vinay
244
Voted
JUCS
2002
113views more  JUCS 2002»
15 years 3 months ago
The Origins and the Development of the ASM Method for High Level System Design and Analysis
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
Egon Börger
153
Voted
LICS
2010
IEEE
15 years 1 months ago
A Sound and Complete Calculus for Finite Stream Circuits
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
Stefan Milius
143
Voted
ICCV
2009
IEEE
16 years 8 months ago
Static Multi-Camera Factorization Using Rigid Motion
Camera networks have gained increased importance in recent years. Previous approaches mostly used point correspondences between different camera views to calibrate such systems....
Roland Angst, Marc Pollefeys