Sciweavers

4842 search results - page 391 / 969
» A Calculus for Data Mapping
Sort
View
ICAISC
2004
Springer
16 years 5 days ago
Visualization of Hidden Node Activity in Neural Networks: I. Visualization Methods
Abstract. Quality of neural network mappings may be evaluated by visual inspection of hidden and output node activities for the training dataset. This paper discusses how to visual...
Wlodzislaw Duch
WADT
2001
Springer
15 years 11 months ago
Verifying a Simple Pipelined Microprocessor Using Maude
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
Neal A. Harman
CAISE
2006
Springer
15 years 10 months ago
VisAVis: An Approach to an Intermediate Layer between Ontologies and Relational Database Contents
This paper introduces an approach to mapping relational database contents to ontologies. The current effort is motivated by the need of including into the Semantic Web volumes of w...
Nikolaos Konstantinou, Dimitrios-Emmanuel Spanos, ...
DAGM
2006
Springer
15 years 10 months ago
Dense Stereo by Triangular Meshing and Cross Validation
Dense depth maps can be estimated in a Bayesian sense from multiple calibrated still images of a rigid scene relative to a reference view [1]. This well-established probabilistic f...
Peter Wey, Bernd Fischer, Herbert Bay, Joachim M. ...
SIMVIS
2008
15 years 8 months ago
Near-Wall Flow Visualization in Flattened Surface Neighborhoods
We present a method that flattens a curved surface and its neighborhood to create effective, uncluttered visualizations by applying standard flow visualization techniques in the d...
Christoph Petz, Steffen Prohaska, Leonid Goubergri...