29082 search results - page 84 / 5817 » The Time-Triggered Model of Computation |
CIE
2010
Springer
14 years 27 days 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...
ICAC
2007
IEEE
14 years 2 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...
GECCO
2007
Springer
14 years 2 months 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]...
BIRTHDAY
2005
Springer
14 years 1 months 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...
AAAI
1990
13 years 9 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...