882 search results - page 99 / 177 » On self-embeddings of computable linear orderings |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— A manufacturer producing several items keeps them into safety stocks (buffers) in order to supply an external stochastic demand without interruptions. We consider the classical...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— Most of present work for autonomous navigation in dynamic environment doesn’t take into account the dynamics of the obstacles or the limits of the perception system. To face ...
116
click to vote
ACOM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
ISCAS
2002
IEEE
15 years 2 months ago
2002
IEEE
Delta-sigma modulation for analog-to-digital conversion resolves a number of bits logarithmic in the number of modulation cycles, and linear in modulation order. As an alternative...