Sciweavers

10718 search results - page 2092 / 2144
» On the Circuit Implementation Problem
Sort
View
149
Voted
CORR
2010
Springer
162views Education» more  CORR 2010»
15 years 3 months ago
Random sampling of lattice paths with constraints, via transportation
We investigate Monte Carlo Markov Chain (MCMC) procedures for the random sampling of some one-dimensional lattice paths with constraints, for various constraints. We will see that...
Lucas Gerin
154
Voted
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 3 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
143
Voted
CORR
2010
Springer
152views Education» more  CORR 2010»
15 years 3 months ago
Neuroevolutionary optimization
Temporal difference methods are theoretically grounded and empirically effective methods for addressing reinforcement learning problems. In most real-world reinforcement learning ...
Eva Volná
232
Voted
CORR
2010
Springer
169views Education» more  CORR 2010»
15 years 3 months ago
Spiking Neurons with ASNN Based-Methods for the Neural Block Cipher
Problem statement: This paper examines Artificial Spiking Neural Network (ASNN) which inter-connects group of artificial neurons that uses a mathematical model with the aid of blo...
Saleh Ali K. Al-Omari, Putra Sumari
152
Voted
DEBU
2010
126views more  DEBU 2010»
15 years 3 months ago
GeoSIM: A Geospatial Data Collection System for Participatory Urban Texture Documentation
Participatory texture documentation (PTD) is a geospatial data collection process in which a group of users (dedicated individuals and/or general public) with camera-equipped mobi...
Farnoush Banaei Kashani, Houtan Shirani-Mehr, Bei ...
« Prev « First page 2092 / 2144 Last » Next »