Sciweavers

1291 search results - page 55 / 259
» Computing the multiplicity structure in solving polynomial s...
Sort
View
EMSOFT
2004
Springer
14 years 1 months ago
A metrics system for quantifying operational coupling in embedded computer control systems
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
De-Jiu Chen, Martin Törngren
CVPR
2007
IEEE
14 years 9 months ago
A minimal solution to the autocalibration of radial distortion
Epipolar geometry and relative camera pose computation are examples of tasks which can be formulated as minimal problems and solved from a minimal number of image points. Finding ...
Tomás Pajdla, Zuzana Kukelova
TABLETOP
2006
IEEE
14 years 1 months ago
Transparent Tabletop Interface for Multiple Users on Lumisight Table
This paper presents a new type of tabletop interface on Lumisight Table. Putting physical objects on a tabletop display is one of the typical methods for intuitive tangible input....
Yasuaki Kakehi, Takero Hosomi, Makoto Iida, Takesh...
ENTCS
2007
99views more  ENTCS 2007»
13 years 7 months ago
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
Alastair F. Donaldson, Alice Miller
CRYPTO
1999
Springer
109views Cryptology» more  CRYPTO 1999»
13 years 12 months ago
Coding Constructions for Blacklisting Problems without Computational Assumptions
Abstract. We consider the broadcast exclusion problem: how to transmit a message over a broadcast channel shared by N = 2n users so that all but some specified coalition of k excl...
Ravi Kumar, Sridhar Rajagopalan, Amit Sahai