Sciweavers

3557 search results - page 575 / 712
» Reviews
Sort
View
JKM
2007
131views more  JKM 2007»
15 years 6 months ago
A metaphor for knowledge management: explicit islands in a tacit sea
Purpose – This paper aims to examine the current thoughts on knowledge management (KM) and to develop a metaphor to combine these thoughts in a new way that effectively conveys ...
Richard C. Hicks, Ronald Dattero, Stuart D. Galup
JLP
2007
114views more  JLP 2007»
15 years 6 months ago
Deaccumulation techniques for improving provability
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
Jürgen Giesl, Armin Kühnemann, Janis Voi...
JMIV
2007
116views more  JMIV 2007»
15 years 6 months ago
Viscosity Solutions of a Level-Set Method for Anisotropic Geometric Diffusion in Image Processing
We discuss the existence of viscosity solutions for a class of anisotropic level-set methods which can be seen as an extension of the mean-curvature motion with a nonlinear anisot...
Tobias Preusser
JMM2
2007
183views more  JMM2 2007»
15 years 6 months ago
A Chaos Theoretic Analysis of Motion and Illumination in Video Sequences
— Accurate and robust image motion detection has been of substantial interest in the image processing and computer vision communities. Unfortunately, no single motion detection a...
Michael E. Farmer
TSP
2008
166views more  TSP 2008»
15 years 6 months ago
A Unifying Discussion of Correlation Analysis for Complex Random Vectors
The assessment of multivariate association between two complex random vectors is considered. A number of correlation coefficients based on three popular correlation analysis techni...
Peter J. Schreier