Sciweavers

3224 search results - page 237 / 645
» Abstract Error Projection
Sort
View
STACS
2005
Springer
16 years 8 days ago
Exact Quantum Algorithms for the Leader Election Problem
Abstract. It is well-known that no classical algorithm can solve exactly (i.e., in bounded time without error) the leader election problem in anonymous networks. This paper propose...
Seiichiro Tani, Hirotada Kobayashi, Keiji Matsumot...
SIGSOFT
2004
ACM
16 years 6 days ago
A type system for object models
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
Jonathan Edwards, Daniel Jackson, Emina Torlak
WLP
2004
Springer
16 years 3 days ago
A Pragmatic Approach to Pre-testing Prolog Programs
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
Christoph Beierle, Marija Kulas, Manfred Widera
IBPRIA
2003
Springer
16 years 3 hour ago
A Probabilistic Model for the Cooperative Modular Neural Network
Abstract. This paper presents a model for the probability of correct classification for the Cooperative Modular Neural Network (CMNN). The model enables the estimation of the perf...
Luís A. Alexandre, Aurélio C. Campil...
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 11 months ago
Iterative calibration method for inertial and magnetic sensors
Abstract— We address the problem of three-axis sensor calibration. Our focus is on magnetometers. Usual errors (misalignment, non-orthogonality, scale factors, biases) are accoun...
Eric Dorveaux, David Vissière, Alain-P. Mar...