457 search results - page 86 / 92 » Boolean algebras arising from information systems |
66
Voted
ELPUB
1998
ACM
15 years 1 months ago
1998
ACM
The content and structure of an electronically published document can be authored and processed in ways that allow for flexibility in presentation on different environments for di...
117
click to vote
DAGSTUHL
2009
14 years 10 months ago
2009
Abstract. In this paper we elaborate on the challenges of learning manifolds that have many relevant clusters, and where the clusters can have widely varying statistics. We call su...
MAMMO
2010
Springer
14 years 8 months ago
2010
Springer
Recently, detective quantum efficiency (DQE) arising from the concept of signal-to-noise ratio (SNR) has been used for assessing digital x-ray imaging systems. Using a phase-shift ...
136
click to vote
PLPV
2011
ACM
14 years 14 days ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
CLOUD
2010
ACM
15 years 2 months ago
2010
ACM
Virtualization is often used in cloud computing platforms for its several advantages in efficiently managing resources. However, virtualization raises certain additional challeng...