8512 search results - page 144 / 1703 » Computing Theory With Relevance |
AB
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
DBPL
2007
Springer
14 years 2 months ago
2007
Springer
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
STACS
2005
Springer
14 years 1 months ago
2005
Springer
Dynamic complexity investigates the required effort to maintain knowledge about a property of a structure under changing operations. This article introduces a refined notion of ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we survey the primary research, both theoretical and applied, in the area of Robust Optimization (RO). Our focus is on the computational attractiveness of RO approac...
ENTCS
2007
13 years 8 months ago
2007
Nominal rewriting introduced a novel method of specifying rewriting on syntax-with-binding. We extend this treatment of rewriting with hierarchy of variables representing increasi...