Sciweavers

9626 search results - page 1674 / 1926
» Invariant Based Programming
Sort
View
CVPR
1997
IEEE
15 years 10 months ago
Autocalibration and the absolute quadric
We describe a new method for camera autocalibration and scaled Euclidean structure and motion, from three or more views taken by a moving camera with fixed but unknown intrinsic ...
Bill Triggs
EUROMICRO
1997
IEEE
15 years 10 months ago
Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time Systems
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
Katerina Goseva-Popstojanova, Aksenti Grnarov
QCQC
1998
Springer
154views Communications» more  QCQC 1998»
15 years 10 months ago
Automated Design of Quantum Circuits
In order to design a quantum circuit that performs a desired quantum computation, it is necessary to find a decomposition of the unitary matrix that represents that computation in ...
Colin P. Williams, Alexander G. Gray
INFOCOM
1997
IEEE
15 years 10 months ago
Restoration Strategies and Spare Capacity Requirements in Self-Healing ATM Networks
—This paper studies the capacity and flow assignment problem arising in the design of self-healing asynchronous transfer mode (ATM) networks using the virtual path concept. The ...
Yijun Xiong, Lorne Mason
VLDB
1998
ACM
102views Database» more  VLDB 1998»
15 years 10 months ago
A Database System for Real-Time Event Aggregation in Telecommunication
Telecommunication networks process verylarge numbers of events in real time. In this environment, database applications demand both high throughput (at reasonable costs), and pred...
Jerry Baulier, Stephen Blott, Henry F. Korth, Abra...
« Prev « First page 1674 / 1926 Last » Next »