Sciweavers

17983 search results - page 131 / 3597
» Set Types and Applications
Sort
View
SOSP
2007
ACM
16 years 3 months ago
Secure virtual architecture: a safe execution environment for commodity operating systems
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
John Criswell, Andrew Lenharth, Dinakar Dhurjati, ...
BMCBI
2008
98views more  BMCBI 2008»
15 years 6 months ago
Empirical Bayes models for multiple probe type microarrays at the probe level
Background: When analyzing microarray data a primary objective is often to find differentially expressed genes. With empirical Bayes and penalized t-tests the sample variances are...
Magnus Åstrand, Petter Mostad, Mats Rudemo
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 6 months ago
Executable Set Theory and Arithmetic Encodings in Prolog
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
Paul Tarau
TACAS
2005
Springer
106views Algorithms» more  TACAS 2005»
15 years 12 months ago
Dependent Types for Program Understanding
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
Raghavan Komondoor, Ganesan Ramalingam, Satish Cha...
SDM
2009
SIAM
217views Data Mining» more  SDM 2009»
16 years 3 months ago
A Framework for Exploring Categorical Data.
In this paper, we present a framework for categorical data analysis which allows such data sets to be explored using a rich set of techniques that are only applicable to continuou...
Shyam Boriah, Varun Chandola, Vipin Kumar