Results 1  10
of
7,737
QuickCheck: A lightweight tool for random testing of Haskell programs.
 In ICFP,
, 2000
"... ABSTRACT QuickCheck is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to dene custom test data generators. We present a n umber of cas ..."
Abstract

Cited by 428 (22 self)
 Add to MetaCart
of case studies, in whic hthe tool w as successfully used, and also point out some pitfalls to avoid. Random testing is especially suitable for functional programs because properties can be stated at a ne grain. When a function is built from separately tested components, then random testing su ces
Anti de Sitter space and holography
, 1998
"... Recently, it has been proposed by Maldacena that large N limits of certain conformal field theories in d dimensions can be described in terms of supergravity (and string theory) on the product of d+1dimensional AdS space with a compact manifold. Here we elaborate on this idea and propose a precise ..."
Abstract

Cited by 383 (7 self)
 Add to MetaCart
Recently, it has been proposed by Maldacena that large N limits of certain conformal field theories in d dimensions can be described in terms of supergravity (and string theory) on the product of d+1dimensional AdS space with a compact manifold. Here we elaborate on this idea and propose a precise
Stochastic Tracking of 3D Human Figures Using 2D Image Motion
 In European Conference on Computer Vision
, 2000
"... . A probabilistic method for tracking 3D articulated human gures in monocular image sequences is presented. Within a Bayesian framework, we de ne a generative model of image appearance, a robust likelihood function based on image graylevel dierences, and a prior probability distribution over pose an ..."
Abstract

Cited by 383 (33 self)
 Add to MetaCart
. A probabilistic method for tracking 3D articulated human gures in monocular image sequences is presented. Within a Bayesian framework, we de ne a generative model of image appearance, a robust likelihood function based on image graylevel dierences, and a prior probability distribution over pose
Proportionate progress: A notion of fairness in resource allocation
 Algorithmica
, 1996
"... Given a set of n tasks and m resources, where each task x has a rational weight x:w = x:e=x:p; 0 < x:w < 1, a periodic schedule is one that allocates a resource to a task x for exactly x:e time units in each interval [x:p k; x:p (k + 1)) for all k 2 N. We de ne a notion of proportionate progre ..."
Abstract

Cited by 322 (25 self)
 Add to MetaCart
Given a set of n tasks and m resources, where each task x has a rational weight x:w = x:e=x:p; 0 < x:w < 1, a periodic schedule is one that allocates a resource to a task x for exactly x:e time units in each interval [x:p k; x:p (k + 1)) for all k 2 N. We de ne a notion of proportionate
Splitting a Logic Program
 Principles of Knowledge Representation
, 1994
"... In many cases, a logic program can be divided into two parts, so that one of them, the \bottom " part, does not refer to the predicates de ned in the \top " part. The \bottom " rules can be used then for the evaluation of the predicates that they de ne, and the computed va ..."
Abstract

Cited by 294 (16 self)
 Add to MetaCart
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom " part, does not refer to the predicates de ned in the \top " part. The \bottom " rules can be used then for the evaluation of the predicates that they de ne, and the computed
Generalized Symbolic Execution for Model Checking and Testing
, 2003
"... Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a twofold generalization of traditional symbolic execution based ap ..."
Abstract

Cited by 232 (52 self)
 Add to MetaCart
approaches. First, we de ne a source to source translation to instrument a program, which enables standard model checkers to perform symbolic execution of the program. Second, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method
Applying interval arithmetic to real, integer and Boolean constraints
, 1997
"... We present in this paper a uni ed processing for Real, Integer and Boolean Constraints based on a general narrowing algorithm which applies to any nary relation on <. The basic idea is to de ne, for every such relation, a narrowing function;! based on the approximation of by a Cartesian product ..."
Abstract

Cited by 187 (22 self)
 Add to MetaCart
We present in this paper a uni ed processing for Real, Integer and Boolean Constraints based on a general narrowing algorithm which applies to any nary relation on <. The basic idea is to de ne, for every such relation, a narrowing function;! based on the approximation of by a Cartesian product
Discovering Local Structure in Gene Expression Data: The OrderPreserving Submatrix Problem
, 2002
"... This paper concerns the discovery of patterns in gene expression matrices, in which each element gives the expression level of a given gene in a given experiment. Most existing methods for pattern discovery in such matrices are based on clustering genes by comparing their expression levels in all ex ..."
Abstract

Cited by 187 (1 self)
 Add to MetaCart
in the progress of a disease or in a cellular process and the expression levels of all genes in G vary across the stages in the same way. We de � ne a probabilistic model in which an OPSM is hidden within an otherwise random matrix. Guided by this model, we develop an ef � cient algorithm for � nding the hidden
ne t
"... eol ps estimation of the ‘trophic level’. This term will be taken here to be related to the degree of carnivory of an individual (anidiet to consumer’s tissue enrichment (hereafter D15Ndietetissue) to 5 & (Ambrose, 2000; DeNiro and Epstein, 1981; Hare et al., 2005; Yoshinaga et al., 1996). In t ..."
Abstract
 Add to MetaCart
eol ps estimation of the ‘trophic level’. This term will be taken here to be related to the degree of carnivory of an individual (anidiet to consumer’s tissue enrichment (hereafter D15Ndietetissue) to 5 & (Ambrose, 2000; DeNiro and Epstein, 1981; Hare et al., 2005; Yoshinaga et al., 1996
Results 1  10
of
7,737