Sciweavers

2438 search results - page 169 / 488
» Consistent Gradient Operators
Sort
View
SRDS
1996
IEEE
15 years 10 months ago
Exploiting Data-Flow for Fault-Tolerance in a Wide-Area Parallel System
Wide-area parallel processing systems will soon be available to researchers to solve a range of problems. In these systems, it is certain that host failures and other faults will ...
Anh Nguyen-Tuong, Andrew S. Grimshaw, Mark Hyett
162
Voted
TACAS
1997
Springer
146views Algorithms» more  TACAS 1997»
15 years 10 months ago
Compositional State Space Generation from Lotos Programs
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
Jean-Pierre Krimm, Laurent Mounier
POS
1994
Springer
15 years 10 months ago
Hardware Support for Stability in a Persistent Architecture
Persistent stores support uniform management of data objects regardless of their lifetimes and locations. Such stores typically maintain a self-consistent state even after failure...
Frans A. Henskens, D. M. Koch, Rasool Jalili, John...
ICASSP
2009
IEEE
15 years 10 months ago
Tampering identification using Empirical Frequency Response
With the widespread popularity of digital images and the presence of easy-to-use image editing software, content integrity can no longer be taken for granted, and there is a stron...
Wei-Hong Chuang, Ashwin Swaminathan, Min Wu
178
Voted
3DPVT
2004
IEEE
104views Visualization» more  3DPVT 2004»
15 years 10 months ago
Interactive Modeling from Dense Color and Sparse Depth
We are developing a system for interactive modeling of real world scenes. The acquisition device consists of a video camera enhanced with an attached laser system. As the operator...
Voicu Popescu, Elisha Sacks, Gleb Bahmutov