Sciweavers

5227 search results - page 846 / 1046
» Enterprise modeling using class and instance models
Sort
View
MASSDATA
2007
Springer
15 years 12 months ago
A General Approach to Shape Characterization for Biomedical Problems
Abstract. In this paper, we present a general approach to shape characterization and deformation analysis of 2D/3D deformable visual objects. In particular, we define a reference ...
Davide Moroni, Petra Perner, Ovidio Salvetti
WIOPT
2006
IEEE
15 years 12 months ago
Achievable performance improvements provided by cooperative diversity
— This paper examines the achievable performance gains when a particular class of cooperative relaying known as best-select is employed. In essence, best-select seeks to improve ...
Stephan Bohacek
IPPS
2005
IEEE
15 years 11 months ago
Securely Replicated Web Documents
In order to achieve better scalability and reduce latency in handling user requests, many Web applications make extensive use of data replication through caches and Content Delive...
Bogdan C. Popescu, Maarten van Steen, Bruno Crispo...
TPHOL
2005
IEEE
15 years 11 months ago
From PSL to LTL: A Formal Validation in HOL
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
Thomas Tuerk, Klaus Schneider
VISUALIZATION
2005
IEEE
15 years 11 months ago
Curve-Skeleton Applications
Curve-skeletons are thinned 1D representations of 3D objects useful for many visualization tasks including virtual navigation, reduced-model formulation, visualization improvement...
Nicu D. Cornea, Deborah Silver, Patrick Min