Sciweavers

14699 search results - page 2733 / 2940
» Complexity and Cognitive Computing
Sort
View
124
Voted
SPAA
1998
ACM
15 years 6 months ago
Lamport Clocks: Verifying a Directory Cache-Coherence Protocol
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D...
CVPR
1997
IEEE
15 years 6 months ago
Prediction Intervals for Surface Growing Range Segmentation
The surface growing framework presented by Besl and Jain [2] has served as the basis for many range segmentation techniques. It has been augmented with alternative fitting techni...
James V. Miller, Charles V. Stewart
154
Voted
MICCAI
1998
Springer
15 years 6 months ago
Constrained Elastic Surface Nets: Generating Smooth Surfaces from Binary Segmented Data
This paper describes a method for creating object surfaces from binary-segmented data that are free from aliasing and terracing artifacts. In this method, a net of linked surface n...
Sarah F. Frisken Gibson
121
Voted
WG
1998
Springer
15 years 6 months ago
Graphs with Bounded Induced Distance
In this work we introduce the class of graphs with bounded induced distance of order k, (BID(k) for short). A graph G belongs to BID(k) if the distance between any two nodes in ev...
Serafino Cicerone, Gabriele Di Stefano
DAC
1997
ACM
15 years 6 months ago
Electronic Component Information Exchange (ECIX)
A number of industry trends are shaping the requirements for IC and electronic equipment design. The density and complexity of circuit technologies have increased to a point where...
Donald R. Cottrell
« Prev « First page 2733 / 2940 Last » Next »