Sciweavers

2296 search results - page 274 / 460
» The Expressive Power of Synchronizations
Sort
View
ISCI
2008
93views more  ISCI 2008»
15 years 6 months ago
Safety, domain independence and translation of complex value database queries
This paper considers the theory of database queries on the complex value data model with external functions. Motivated by concerns regarding query evaluation, we first identify re...
Hong-Cheu Liu, Jeffrey Xu Yu, Weifa Liang
ENTCS
2007
113views more  ENTCS 2007»
15 years 6 months ago
On the Decidability of the Safety Problem for Access Control Policies
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
E. Kleiner, T. Newcomb
APAL
2005
125views more  APAL 2005»
15 years 6 months ago
Dynamic topological logic
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
Philip Kremer, Grigori Mints
BMCBI
2005
114views more  BMCBI 2005»
15 years 6 months ago
Quality determination and the repair of poor quality spots in array experiments
Background: A common feature of microarray experiments is the occurence of missing gene expression data. These missing values occur for a variety of reasons, in particular, becaus...
Brian D. M. Tom, Walter R. Gilks, Elizabeth T. Bro...
TSP
2008
88views more  TSP 2008»
15 years 6 months ago
Statistical Performance of MUSIC-Like Algorithms in Resolving Noncircular Sources
Abstract--This paper addresses the resolution of the conventional and noncircular MUSIC algorithms for arbitrary circular and noncircular second-order distributions of two uncorrel...
Habti Abeida, Jean Pierre Delmas