823 search results - page 61 / 165 » Stateful Subset Cover |
127
Voted
ICC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Spectrum sensing, which monitors the spectrum activity, is studied for cognitive radio systems using multiple frequency bands with non-negligible band switching time (blind per...
115
Voted
CIMCA
2008
IEEE
15 years 9 months ago
2008
IEEE
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...
102
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
108
Voted
AGENTS
1997
Springer
15 years 6 months ago
1997
Springer
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
150
click to vote
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...