Results 11 - 20 of 20,454

Automatically validating temporal safety properties of interfaces

by Thomas Ball, Sriram K. Rajamani , 2001
"... We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property of interest. It then automatically creates abstractions of C code using iterative refinement, based on the given property. The pro ..."
Abstract - Cited by 433 (21 self) - Add to MetaCart
that the process converges on a set of predicates powerful enough to validate properties in just a few iterations. 1 Introduction Large-scale software has many components built by many programmers. Integration testing of these components is impossible or ineffective at best. Property checking of interface usage

A unified statistical approach for determining significant signals in images of cerebral activation

by K. J. Worsley, S. Marrett, P. Neelin, K. J. Friston , 1996
"... Abstract: We present a unified statistical theory for assessing the significance of apparent signal observed in noisy difference images. The results are usable in a wide range of applications, including astrophysics, but are discussed with particular reference to images which represent changes in ce ..."
Abstract - Cited by 400 (39 self) - Add to MetaCart
in cerebral blood flow elicited by a specific cognitive or sensorimotor task. Our main result is an estimate of the p-value for local maxima of Gaussian, t, χ 2 and F fields over search regions of any shape or size in any number of dimensions. This unifies the p-values for large search areas in 2-D (Friston

Planning as heuristic search,

by Blai Bonet , Héctor Geffner - 5 – 33, ISSN , 2001
"... Abstract In the AIPS98 Planning Contest, the HSP planner showed that heuristic search planners can be competitive with state-of-the-art Graphplan and SAT planners. Heuristic search planners like HSP transform planning problems into problems of heuristic search by automatically extracting heuristics ..."
Abstract - Cited by 421 (33 self) - Add to MetaCart
study a family of heuristic search planners that are based on a simple and general heuristic that assumes that action preconditions are independent. The heuristic is then used in the context of best-first and hill-climbing search algorithms, and is tested over a large collection of domains. We

The Determinants of Credit Spread Changes.

by Pierre Collin-Dufresne , Robert S Goldstein , J Spencer Martin , Gurdip Bakshi , Greg Bauer , Dave Brown , Francesca Carrieri , Peter Christoffersen , Susan Christoffersen , Greg Duffee , Darrell Duffie , Vihang Errunza , Gifford Fong , Mike Gallmeyer , Laurent Gauthier , Rick Green , John Griffin , Jean Helwege , Kris Jacobs , Chris Jones , Andrew Karolyi , Dilip Madan , David Mauer , Erwan Morellec , Federico Nardari , N R Prabhala , Tony Sanders , Sergei Sarkissian , Bill Schwert , Ken Singleton , Chester Spatt , René Stulz - Journal of Finance , 2001
"... ABSTRACT Using dealer's quotes and transactions prices on straight industrial bonds, we investigate the determinants of credit spread changes. Variables that should in theory determine credit spread changes have rather limited explanatory power. Further, the residuals from this regression are ..."
Abstract - Cited by 422 (2 self) - Add to MetaCart
, Stanton, and Whitelaw (1997), who find that a 3-factor model explains over 90 percent of Ginnie Mae yields, but that the remaining variation apparently cannot be explained by the changes in the yield curve. 2 In contrast, our multiple-factor model explains only about one-quarter of the variation in credit

Improved methods for tests of long-run abnormal stock returns

by John D. Lyon, Brad M. Barber, Chih-ling Tsai, Raghu Rau, Jay Ritter, René Stulz, Brett Trueman, Ralph Walkling - Journal of Finance , 1999
"... We analyze tests for long-run abnormal returns and document that two approaches yield well-specified test statistics in random samples. The first uses a traditional event study framework and buy-and-hold abnormal returns calculated using carefully constructed reference portfolios. Inference is based ..."
Abstract - Cited by 375 (12 self) - Add to MetaCart
We analyze tests for long-run abnormal returns and document that two approaches yield well-specified test statistics in random samples. The first uses a traditional event study framework and buy-and-hold abnormal returns calculated using carefully constructed reference portfolios. Inference

On the Effectiveness of the Test-First Approach to Programming

by Council Canada, Erdogmus H, Hakan Erdogmus, Maurizio Morisio, Ieee Computer Society, Marco Torchiano, Ieee Computer Society , 2005
"... de l'information ..."
Abstract - Add to MetaCart
de l'information

A Survey of Affect Recognition Methods: Audio, Visual, and Spontaneous Expressions

by Zhihong Zeng, Maja Pantic, Glenn I. Roisman, Thomas S. Huang , 2009
"... Automated analysis of human affective behavior has attracted increasing attention from researchers in psychology, computer science, linguistics, neuroscience, and related disciplines. However, the existing methods typically handle only deliberately displayed and exaggerated expressions of prototypi ..."
Abstract - Cited by 374 (51 self) - Add to MetaCart
. We first discuss human emotion perception from a psychological perspective. Next, we examine available approaches for solving the problem of machine understanding of human affective behavior and discuss important issues like the collection and availability of training and test data. We finally

Posterior Predictive Assessment of Model Fitness Via Realized Discrepancies

by Andrew Gelman, Xiao-li Meng, Hal Stern - Statistica Sinica , 1996
"... Abstract: This paper considers Bayesian counterparts of the classical tests for goodness of fit and their use in judging the fit of a single Bayesian model to the observed data. We focus on posterior predictive assessment, in a framework that also includes conditioning on auxiliary statistics. The B ..."
Abstract - Cited by 348 (39 self) - Add to MetaCart
with three applied examples. The first example, which serves mainly to motivate the work, illustrates the difficulty of classical tests in assessing the fitness of a Poisson model to a positron emission tomography image that is constrained to be nonnegative. The second and third examples illustrate

Example-based super-resolution

by William T. Freeman, Thouis R. Jones, Egon C. Pasztor - IEEE COMPUT. GRAPH. APPL , 2001
"... The Problem: Pixel representations for images do not have resolution independence. When we zoom into a bitmapped image, we get a blurred image. Figure 1 shows the problem for a teapot image, rich with real-world detail. We know the teapot’s features should remain sharp as we zoom in on them, yet sta ..."
Abstract - Cited by 349 (5 self) - Add to MetaCart
standard pixel interpolation methods, such as pixel replication (b, c) and cubic spline interpolation (d, e), introduce artifacts or blurring of edges. For images zoomed 3 octaves, such as these, sharpening the interpolated result has little useful effect (f, g). Many applications in graphics or image

Model Selection Through Sparse Maximum Likelihood Estimation for Multivariate Gaussian or Binary Data

by Onureena Banerjee, Laurent El Ghaoui, Alexandre d'Aspremont - JOURNAL OF MACHINE LEARNING RESEARCH , 2008
"... We consider the problem of estimating the parameters of a Gaussian or binary distribution in such a way that the resulting undirected graphical model is sparse. Our approach is to solve a maximum likelihood problem with an added ℓ1-norm penalty term. The problem as formulated is convex but the memor ..."
Abstract - Cited by 334 (2 self) - Add to MetaCart
We consider the problem of estimating the parameters of a Gaussian or binary distribution in such a way that the resulting undirected graphical model is sparse. Our approach is to solve a maximum likelihood problem with an added ℓ1-norm penalty term. The problem as formulated is convex
Results 11 - 20 of 20,454