Sciweavers

5326 search results - page 374 / 1066
» On what we can ensure
Sort
View
ICDE
1991
IEEE
105views Database» more  ICDE 1991»
15 years 10 months ago
Voting with Regenerable Volatile Witnesses
Voting protocols ensure the consistency of replicated objects by requiring all read and write requests to collect an appropriate quorum of replicas. We propose to replace some of ...
Jehan-François Pâris, Darrell D. E. L...
EGITALY
2006
15 years 8 months ago
3D CT Segmentation for Clinical Evaluation of Knee Prosthesis Operations
In surgical knee replacement, the damaged knee joint is replaced with artificial prostheses. An accurate clinical evaluation must be carried out before applying knee prostheses to...
Sebastiano Battiato, Camillo Bosco, Giovanni Maria...
SCS
2004
15 years 8 months ago
Contract-Based Justification for COTS Component within Safety Critical Applications
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
Fan Ye, Tim Kelly
IJCAI
2003
15 years 8 months ago
LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition
We have created LADDER, the first language to describe how sketched diagrams in a domain are drawn, displayed, and edited. The difficulty in creating such a language is choosing...
Tracy Hammond, Randall Davis
VMV
2003
181views Visualization» more  VMV 2003»
15 years 8 months ago
2.5D Active Contour for Surface Reconstruction
In this paper, we present a new deformable model — 2.5D Active Contour— that is capable of directly extracting shape geometry from 3D unorganized point cloud datasets. The rec...
Ye Duan, Hong Qin