Sciweavers

1884 search results - page 89 / 377
» Simple Algorithm for Simple Timed Games
Sort
View
84
Voted
NIPS
2003
14 years 11 months ago
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
Artur S. d'Avila Garcez, Luís C. Lamb
DCG
2010
67views more  DCG 2010»
14 years 10 months ago
Conformal Mapping in Linear Time
Given any > 0 and any planar region bounded by a simple n-gon P we construct a (1 + )-quasiconformal map between and the unit disk in time C()n. One can take C() = C + C log ...
Christopher J. Bishop
ICCD
1992
IEEE
124views Hardware» more  ICCD 1992»
15 years 2 months ago
The ETCA Data-Flow Functional Computer for Real-Time Image Processing
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
Georges Quénot, Bertrand Zavidovique
89
Voted
EH
1999
IEEE
141views Hardware» more  EH 1999»
15 years 2 months ago
On-Line Evolution of FPGA-Based Circuits: A Case Study on Hash Functions
An evolutionary algorithm is used to evolve a digital circuit which computes a simple hash function mapping a 16bit address space into an 8-bit one. The target technology is FPGA,...
Ernesto Damiani, Andrea Tettamanzi, Valentino Libe...
77
Voted
ESANN
2007
14 years 11 months ago
The Intrinsic Recurrent Support Vector Machine
In this work, we present a new model for a Recurrent Support Vector Machine. We call it intrinsic because the complete recurrence is directly incorporated within the considered opt...
Daniel Schneegaß, Anton Maximilian Schä...