11017 search results - page 97 / 2204 » Closure Systems and their Structure |
159
Voted
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
129
Voted
IAT
2008
IEEE
15 years 3 months ago
2008
IEEE
As information and communication technologies are becoming an integral part of our homes, the demand for AmI systems with assistive functionality is increasing. A great effort has...
135
Voted
IOPADS
1996
15 years 5 months ago
1996
The ability to perform permutations of large data sets in place reduces the amount of necessary available disk storage. The simplest way to perform a permutation often is to read ...
145
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper we evaluate, by means of Extrinsic Information Transfer (EXIT) charts, an iterative receiver that has emerged as a promising candidate for non-coherent multi-user...
135
Voted
SCOPES
2007
Springer
15 years 9 months ago
2007
Springer
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...