Sciweavers

19367 search results - page 3552 / 3874
» Fine-Grain Process Modelling
Sort
View
TASLP
2008
141views more  TASLP 2008»
15 years 5 months ago
Unsupervised Pattern Discovery in Speech
We present a novel approach to speech processing based on the principle of pattern discovery. Our work represents a departure from traditional models of speech recognition, where t...
A. S. Park, J. R. Glass
148
Voted
INFORMATICALT
2007
123views more  INFORMATICALT 2007»
15 years 5 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 ...
AR
2005
138views more  AR 2005»
15 years 5 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...
TCS
2008
15 years 5 months ago
A timed semantics of Orc
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
Ian Wehrman, David Kitchin, William R. Cook, Jayad...
160
Voted
TCS
2008
15 years 5 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
« Prev « First page 3552 / 3874 Last » Next »