Sciweavers

13383 search results - page 2406 / 2677
» Abstractions from proofs
Sort
View
132
Voted
ISCA
2000
IEEE
99views Hardware» more  ISCA 2000»
15 years 8 months ago
Transient fault detection via simultaneous multithreading
Smaller feature sizes, reduced voltage levels, higher transistor counts, and reduced noise margins make future generations of microprocessors increasingly prone to transient hardw...
Steven K. Reinhardt, Shubhendu S. Mukherjee
128
Voted
VISUALIZATION
2000
IEEE
15 years 8 months ago
Extracting regions of interest applying a local watershed transformation
In this paper, we present a new technique for extracting regions of interest (ROI) applying a local watershed transformation. The proposed strategy for computing catchment basins ...
Stanislav L. Stoev, Wolfgang Straßer
137
Voted
ADAEUROPE
2000
Springer
15 years 8 months ago
On Persistent and Reliable Streaming in Ada
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
Jörg Kienzle, Alexander B. Romanovsky
232
Voted
AFPAC
2000
Springer
341views Mathematics» more  AFPAC 2000»
15 years 8 months ago
An Associative Perception-Action Structure Using a Localized Space Variant Information Representation
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...
Gösta H. Granlund
144
Voted
ECCV
2010
Springer
15 years 8 months ago
Discriminative Mixture-of-Templates for Viewpoint Classification
Abstract. Object viewpoint classification aims at predicting an approximate 3D pose of objects in a scene and is receiving increasing attention. State-of-the-art approaches to view...
« Prev « First page 2406 / 2677 Last » Next »