Sciweavers

367 search results - page 8 / 74
» An overview of reservoir computing: theory, applications and...
Sort
View
INFORMATIKTAGE
2008
13 years 9 months ago
Constraint Based Transformation Theory
During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have to be updated and restructured continuously [22]. I...
Stefan Natelberg
LOGCOM
2010
123views more  LOGCOM 2010»
13 years 5 months ago
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
Peter Baumgartner, Ulrich Furbach, Björn Pelz...
ICVS
2001
Springer
13 years 12 months ago
A Framework for Generic State Estimation in Computer Vision Applications
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...
Cristian Sminchisescu, Alexandru Telea
CIE
2007
Springer
14 years 1 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
VLSISP
2002
123views more  VLSISP 2002»
13 years 7 months ago
Monte Carlo Bayesian Signal Processing for Wireless Communications
Abstract. Many statistical signal processing problems found in wireless communications involves making inference about the transmitted information data based on the received signal...
Xiaodong Wang, Rong Chen, Jun S. Liu