Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
3,910
Mining parametric specifications
- in Proceedings of the 33rd International Conference on Software Engineering (ICSE
, 2011
"... Mining formal specifications from program executions has numerous applications in software analysis, from program understanding and modeling to testing and bug detection. Parametric specifications carry parameters that are bound to concrete values at runtime. They are useful for specify-ing system b ..."
Abstract
-
Cited by 24 (3 self)
- Add to MetaCart
Mining formal specifications from program executions has numerous applications in software analysis, from program understanding and modeling to testing and bug detection. Parametric specifications carry parameters that are bound to concrete values at runtime. They are useful for specify-ing system
Programs, Proofs and Parametrized Specifications.
"... In a series of papers we have been using a modification of the ideas of Curry and Howard to obtain reliable programs from formal proofs. In this paper we extend our earlier work by presenting a new approach for constructing correct SML structures and SML functors from CASL structured and parametrize ..."
Abstract
- Add to MetaCart
and parametrized specifications by extracting the SML programs from constructive proofs of the axioms of the specifications. We provide a novel formal calculus with rules corresponding to the construction and instantiation of parametrized specifications and then a program extraction procedure which produces SML
Semantics of First Order Parametric Specifications
"... Parametricity is one of the most effective ways to achieve compositionality and reuse in software development. Parametric specifications have been thoroughly analyzed in the algebraic setting and are by now a standard part of most software development toolkits. However, an effort towards classifying ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
Parametricity is one of the most effective ways to achieve compositionality and reuse in software development. Parametric specifications have been thoroughly analyzed in the algebraic setting and are by now a standard part of most software development toolkits. However, an effort towards
How much should we trust differences-in-differences estimates?
, 2003
"... Most papers that employ Differences-in-Differences estimation (DD) use many years of data and focus on serially correlated outcomes but ignore that the resulting standard errors are inconsistent. To illustrate the severity of this issue, we randomly generate placebo laws in state-level data on femal ..."
Abstract
-
Cited by 828 (1 self)
- Add to MetaCart
at the 5 percent level for up to 45 percent of the placebo interventions. We use Monte Carlo simulations to investigate how well existing methods help solve this problem. Econometric corrections that place a specific parametric form on the time-series process do not perform well. Bootstrap (taking
MIXED MNL MODELS FOR DISCRETE RESPONSE
- JOURNAL OF APPLIED ECONOMETRICS J. APPL. ECON. 15: 447--470 (2000)
, 2000
"... This paper considers mixed, or random coefficients, multinomial logit (MMNL) models for discrete response, and establishes the following results. Under mild regularity conditions, any discrete choice model derived from random utility maximization has choice probabilities that can be approximated as ..."
Abstract
-
Cited by 487 (15 self)
- Add to MetaCart
as closely as one pleases by a MMNL model. Practical estimation of a parametric mixing family can be carried out by Maximum Simulated Likelihood Estimation or Method of Simulated Moments, and easily computed instruments are provided that make the latter procedure fairly efficient. The adequacy of a mixing
Automatic verification of parametric specifications with complex topologies
- REPORTS OF SFB/TR 14 AVACS NO. 66, SFB/TR 14 AVACS (2010), WWW.AVACS.ORG
, 2010
"... The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifications, we use the modular language CSP-OZ-DC, which allows us to decouple verification tasks concerning data from thos ..."
Abstract
-
Cited by 4 (2 self)
- Add to MetaCart
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifications, we use the modular language CSP-OZ-DC, which allows us to decouple verification tasks concerning data from
Semi-Parametric Specification Tests for Discrete Probability Models
"... Loss functions play an important role in analyzing insurance portfolios. A fundamental issue in the study of loss functions involves the selection of probability models for claim frequencies. In this article, we propose a semiparametric approach based on the generalized method of moments (GMM) to so ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
) to solve the specification problems concerning claim frequency distributions. The GMM-based testing procedure provides a general framework that encompasses many specification problems of interest in actuarial applications. As an alternative approach to the Pearson 2 and othergoodness-of-fit tests
Statistical methods for identifying differentially expressed genes in replicated cDNA microarray experiments
- STATISTICA SINICA
, 2002
"... DNA microarrays are a new and promising biotechnology whichallows the monitoring of expression levels in cells for thousands of genes simultaneously. The present paper describes statistical methods for the identification of differentially expressed genes in replicated cDNA microarray experiments. A ..."
Abstract
-
Cited by 438 (12 self)
- Add to MetaCart
into account the dependence structure between the gene expression levels. No specific parametric form is assumed for the distribution of the test statistics and a permutation procedure is used to estimate adjusted p-values. Several data displays are suggested for the visual identification of differentially
Active Perception
, 1988
"... Active Perception (Active Vision specifically) is defined as a study of Modeling and Control strategies for perception. By modeling we mean models of sensors, processing modules and their interac-tion. We distinguish local models from global models by their extent of application in space and time. T ..."
Abstract
-
Cited by 431 (12 self)
- Add to MetaCart
Active Perception (Active Vision specifically) is defined as a study of Modeling and Control strategies for perception. By modeling we mean models of sensors, processing modules and their interac-tion. We distinguish local models from global models by their extent of application in space and time
Results 1 - 10
of
3,910
