Sciweavers

30267 search results - page 5775 / 6054
» Process Modelling Languages
Sort
View
135
Voted
INFORMATICALT
2007
123views more  INFORMATICALT 2007»
15 years 3 months ago
Design and Implementation of Parallel Counterpropagation Networks Using MPI
The objective of this research is to construct parallel models that simulate the behavior of artificial neural networks. The type of network that is simulated in this project is t...
Athanasios Margaris, Stavros Souravlas, Efthimios ...
151
Voted
AR
2005
138views more  AR 2005»
15 years 3 months ago
On actively closing loops in grid-based FastSLAM
Acquiring models of the environment belongs to the fundamental tasks of mobile robots. In the past, several researchers have focused on the problem of simultaneous localization an...
Cyrill Stachniss, Dirk Hähnel, Wolfram Burgar...
145
Voted
TCS
2008
15 years 3 months ago
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
Jean-François Dufourd
172
Voted
TIFS
2008
120views more  TIFS 2008»
15 years 3 months ago
Determining Image Origin and Integrity Using Sensor Noise
In this paper, we provide a unified framework for identifying the source digital camera from its images and for revealing digitally altered images using photo-response nonuniformit...
Mo Chen, Jessica J. Fridrich, Miroslav Goljan, Jan...
119
Voted
IVS
2007
130views more  IVS 2007»
15 years 3 months ago
A design framework for exploratory geovisualization in epidemiology
This paper presents a design framework for geographic visualization based on iterative evaluations of a toolkit designed to support cancer epidemiology. The Exploratory Spatio-Tem...
Anthony C. Robinson
« Prev « First page 5775 / 6054 Last » Next »