Sciweavers

1449 search results - page 12 / 290
» Finiteness results for sigmoidal
Sort
View
EUROCOLT
1997
Springer
15 years 3 months ago
Vapnik-Chervonenkis Dimension of Recurrent Neural Networks
Most of the work on the Vapnik-Chervonenkis dimension of neural networks has been focused on feedforward networks. However, recurrent networks are also widely used in learning app...
Pascal Koiran, Eduardo D. Sontag
GD
2006
Springer
15 years 3 months ago
The Number of Triangulations on Planar Point Sets
We give a brief account of results concerning the number of triangulations on finite point sets in the plane, both for arbitrary sets and for specific sets such as the n
Emo Welzl
IJAC
2006
64views more  IJAC 2006»
14 years 11 months ago
Complexity Pseudovarieties Are not Local: Type Ii Subsemigroups Can Fall Arbitrarily in Complexity
We prove the following two results announced by Rhodes: The Type II subsemigroup of a finite semigroup can fall arbitrarily in complexity; the complexity pseudovarieties Cn (n 1) ...
John Rhodes, Benjamin Steinberg
CADE
2009
Springer
16 years 11 days ago
Decidability Results for Saturation-Based Model Building
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
Matthias Horbach, Christoph Weidenbach
CONCUR
2007
Springer
15 years 3 months ago
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
Rohit Chadha, Mahesh Viswanathan