33356 search results - page 374 / 6672 » Models of Continual Computation |
159
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we focus on the problem of existence of and computing small and large stable models. We show that for every xed integer k, there is a linear-time algorithm to decid...
147
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite “tensorial dimension...
153
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
175
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
156
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...