Sciweavers

2061 search results - page 125 / 413
» Measuring Corner Properties
Sort
View
IMR
2003
Springer
15 years 9 months ago
A Local Cell Quality Metric and Variational Grid Smoothing Algorithm
A local cell quality metric is introduced and used to construct a variational functional for a grid smoothing algorithm. A maximum principle is proved and the properties of the loc...
Larisa Branets, Graham F. Carey
DAC
2010
ACM
15 years 8 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
COOPIS
2004
IEEE
15 years 8 months ago
Aligning Ontologies and Evaluating Concept Similarities
An innate characteristic of the development of ontologies is that they are often created by independent groups of expertise, which generates the necessity of merging and aligning o...
Kleber Xavier Sampaio de Souza, Joseph Davis
INFOCOM
1995
IEEE
15 years 8 months ago
Virtual Path Bandwidth Allocation in Multi-User Networks
— We consider a multiuser network that is shared by noncooperative users. Each user sets up virtual paths that optimize its own selfish performance measure. This measure account...
Aurel A. Lazar, Ariel Orda, Dimitrios E. Pendaraki...
DLOG
2007
15 years 6 months ago
SEMilarity: Towards a Model-Driven Approach to Similarity
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
Rudi Araújo, Helena Sofia Pinto