Sciweavers

2314 search results - page 146 / 463
» Monoids over domains
Sort
View
ICIP
2005
IEEE
15 years 7 months ago
Exponential Radon transform inversion based on harmonic analysis of the Euclidean motion group
This paper presents a new method for the exponential Radon transform inversion based on harmonic analysis of the Euclidean motion group (M(2)). The exponential Radon transform is ...
Can Evren Yarman, Birsen Yazici
KCAP
2005
ACM
15 years 7 months ago
Extracting significant words from corpora for ontology extraction
This paper reports a technique for Knowledge Extraction using Natural Language Processing for the purposes of semi-automatic Ontology learning. Determination of significant words ...
Dileep G. Damle, Victoria S. Uren
117
Voted
ER
2005
Springer
109views Database» more  ER 2005»
15 years 7 months ago
Towards Systematic Model Assessment
In this paper a novel approach for the tool–based quality assurance of models is presented. The approach provides a meta model framework for domain specific and tool–independe...
Ruth Breu, Joanna Chimiak-Opoka
88
Voted
TACAS
2005
Springer
78views Algorithms» more  TACAS 2005»
15 years 7 months ago
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
Amir Pnueli, Andreas Podelski, Andrey Rybalchenko
PG
2003
IEEE
15 years 7 months ago
Butterworth Filtering and Implicit Fairing of Irregular Meshes
In this paper, we propose efficient numerical techniques for Butterworth filtering and implicit fairing of large irregular triangle meshes, where the corresponding filters are ...
Hao Zhang 0002, Eugene Fiume