3690 search results - page 368 / 738 » Computation with classical sequents |
165
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
: For an infinite-horizon optimal control problem, the cost does not, in general, converge. The classical work-around to this problem is to introduce a discount or "forgetting...
196
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract-The immune system is a complex biological system with a highly distributed, adaptive and selforganising nature. This paper presents an Artificial Immune System (AIS) that ...
167
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
-- Electing leader is a vital issue not only in distributed computing but also in communication network [1, 2, 3, 4, 5], centralized mutual exclusion algorithm [6, 7], centralized ...
147
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relationa...
175
click to vote
FOCM
2008
15 years 7 months ago
2008
In this paper, we consider some matrix subgroups of the general linear group and in particular the special linear group that are defined by a quadratic matrix identity. The Lie al...