Sciweavers

3454 search results - page 279 / 691
» Modern computer algebra
Sort
View
COORDINATION
2004
Springer
16 years 2 days ago
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
Linda tuple spaces are flat and unstructured, in the sense that they do not allow for expressing preferences of tuples; for example, we could be interested in indicating tuples th...
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, ...
EMSOFT
2004
Springer
16 years 1 days ago
Conservative approximations for heterogeneous design
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
Roberto Passerone, Jerry R. Burch, Alberto L. Sang...
INDOCRYPT
2003
Springer
15 years 12 months ago
Improved Cost Function in the Design of Boolean Functions Satisfying Multiple Criteria
We develop an improved cost function to be used in simulated annealing followed by hill-climbing to find Boolean functions satisfying multiple desirable criteria such as high nonli...
Selçuk Kavut, Melek D. Yücel
ECCV
2000
Springer
15 years 11 months ago
On Calibration and Reconstruction from Planar Curves
We describe in this paper closed-form solutions to the following problems in multi-view geometry of n'th order curves: i recovery of the fundamental matrix from 4 or more c...
Jeremy Yermiyahou Kaminski, Amnon Shashua
CONCUR
2006
Springer
15 years 10 months ago
Some Remarks on Definability of Process Graphs
We propose the notions of "density" and "connectivity" of infinite process graphs and investigate them in the context of the wellknown process algebras BPA and ...
Clemens Grabmayer, Jan Willem Klop, Bas Luttik