Sciweavers

1968 search results - page 71 / 394
» The Complexity of Valued Constraint Models
Sort
View
149
Voted
TNN
2011
129views more  TNN 2011»
14 years 10 months ago
Minimum Complexity Echo State Network
—Reservoir computing (RC) refers to a new class of state-space models with a fixed state transition structure (the “reservoir”) and an adaptable readout form the state space...
Ali Rodan, Peter Tino
104
Voted
NN
2007
Springer
15 years 3 months ago
Awaking and sleeping of a complex network
A network with a logistic-like local dynamics is considered. We implement a mean-field multiplicative coupling among first-neighbor nodes. When the coupling parameter is small, ...
R. López-Ruiz, Y. Moreno, A. F. Pacheco, S....
152
Voted
AI
2005
Springer
15 years 3 months ago
On the consistency of cardinal direction constraints
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
Spiros Skiadopoulos, Manolis Koubarakis
124
Voted
ATVA
2007
Springer
101views Hardware» more  ATVA 2007»
15 years 10 months ago
A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
Sophie Pinchinat
163
Voted
DSRT
2008
IEEE
15 years 5 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...