Sciweavers

457 search results - page 59 / 92
» Boolean algebras arising from information systems
Sort
View
SIGMOD
2008
ACM
167views Database» more  SIGMOD 2008»
15 years 10 months ago
DiMaC: a system for cleaning disguised missing data
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
Ming Hua, Jian Pei
QEST
2007
IEEE
15 years 4 months ago
Qualitative Logics and Equivalences for Probabilistic Systems
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
Luca de Alfaro, Krishnendu Chatterjee, Marco Faell...
FORTE
2004
14 years 11 months ago
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
Stephen Gilmore, Valentin Haenel, Jane Hillston, L...
HICSS
2006
IEEE
115views Biometrics» more  HICSS 2006»
15 years 3 months ago
Enterprise Architecture Implementation and Management: A Case Study on Interoperability
The focus of this study is to explore why public agencies implement enterprise architecture programs and the interoperability challenges they are faced with when governing these p...
Kristian Hjort-Madsen
TWC
2008
147views more  TWC 2008»
14 years 9 months ago
Asymmetric cooperation among wireless relays with linear precoding
Wireless relays extend coverage, improve spectral efciency, and enhance reliability and rates of wireless cellular communication systems. In this work, we introduce the fundamental...
Natasha Devroye, Neelesh B. Mehta, Andreas F. Moli...