Results 11  20
of
1,266,898
Bandera: Extracting Finitestate Models from Java Source Code
 IN PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
, 2000
"... Finitestate verification techniques, such as model checking, have shown promise as a costeffective means for finding defects in hardware designs. To date, the application of these techniques to software has been hindered by several obstacles. Chief among these is the problem of constructing a fini ..."
Abstract

Cited by 653 (35 self)
 Add to MetaCart
Finitestate verification techniques, such as model checking, have shown promise as a costeffective means for finding defects in hardware designs. To date, the application of these techniques to software has been hindered by several obstacles. Chief among these is the problem of constructing a
The DFAs of Finitely Different Languages
, 2008
"... Two languages are finitely different if their symmetric difference is finite. We consider the DFAs of finitely different regular languages and find major structural similarities. We proceed to consider the smallest DFAs that recognize a language finitely different from some given DFA. Such fminimal ..."
Abstract
 Add to MetaCart
Two languages are finitely different if their symmetric difference is finite. We consider the DFAs of finitely different regular languages and find major structural similarities. We proceed to consider the smallest DFAs that recognize a language finitely different from some given DFA. Such f
Mathematical Control Theory: Deterministic Finite Dimensional Systems
 of Texts in Applied Mathematics
, 1990
"... The title of this book gives a very good description of its contents and style, although I might have added “Introduction to ” at the beginning. The style is mathematical: precise, clear statements (i.e., theorems) are asserted, then carefully proved. The book covers many of the key topics in contro ..."
Abstract

Cited by 485 (122 self)
 Add to MetaCart
The title of this book gives a very good description of its contents and style, although I might have added “Introduction to ” at the beginning. The style is mathematical: precise, clear statements (i.e., theorems) are asserted, then carefully proved. The book covers many of the key topics in control theory, except — as the subtitle has warned us — those involving stochastic processes or infinitedimensional systems. The level is appropriate for a senior
How much should we trust differencesindifferences estimates? Quarterly Journal of Economics 119:249–75
, 2004
"... Most papers that employ DifferencesinDifferences 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 statelevel data on fema ..."
Abstract

Cited by 775 (1 self)
 Add to MetaCart
Most papers that employ DifferencesinDifferences 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 statelevel data
Valuing American options by simulation: A simple leastsquares approach
 Review of Financial Studies
, 2001
"... This article presents a simple yet powerful new approach for approximating the value of America11 options by simulation. The kcy to this approach is the use of least squares to estimate the conditional expected payoff to the optionholder from continuation. This makes this approach readily applicable ..."
Abstract

Cited by 511 (9 self)
 Add to MetaCart
applicable in pathdependent and multifactor situations where traditional finite difference techniques cannot be used. We illustrate this technique with several realistic exatnples including valuing an option when the underlying asset follows a jumpdiffusion process and valuing an America11 swaption in a 20
Panel Cointegration; Asymptotic and Finite Sample Properties of Pooled Time Series Tests, With an Application to the PPP Hypothesis; New Results. Working paper
, 1997
"... We examine properties of residualbased tests for the null of no cointegration for dynamic panels in which both the shortrun dynamics and the longrun slope coefficients are permitted to be heterogeneous across individual members of the panel+ The tests also allow for individual heterogeneous fixed ..."
Abstract

Cited by 499 (13 self)
 Add to MetaCart
We examine properties of residualbased tests for the null of no cointegration for dynamic panels in which both the shortrun dynamics and the longrun slope coefficients are permitted to be heterogeneous across individual members of the panel+ The tests also allow for individual heterogeneous fixed effects and trend terms, and we consider both pooled within dimension tests and group mean between dimension tests+ We derive limiting distributions for these and show that they are normal and free of nuisance parameters+ We also provide Monte Carlo evidence to demonstrate their small sample size and power performance, and we illustrate their use in testing purchasing power parity for the post–Bretton Woods period+ 1.
Bayes Finite Difference Schemes
, 1993
"... Bayes finite difference schemes are an alternative version of nite difference schemes. They are derived by constructing an expression for the average error of a scheme, and then minimizing the error over all possible versions of finite difference schemes. Optimum schemes are constructed for several ..."
Abstract
 Add to MetaCart
Bayes finite difference schemes are an alternative version of nite difference schemes. They are derived by constructing an expression for the average error of a scheme, and then minimizing the error over all possible versions of finite difference schemes. Optimum schemes are constructed for several
FINITE DIFFERENCE METHOD ON TRIANGULATION
"... In this paper, we present a new method for solving Partial Differential Equations (PDE). This method combines the use of features of both Finite Element Methods (FEM) and Finite Difference methods (FDM). Similar to the FEM, this method uses the triangulation technique and function approximation. Mor ..."
Abstract
 Add to MetaCart
In this paper, we present a new method for solving Partial Differential Equations (PDE). This method combines the use of features of both Finite Element Methods (FEM) and Finite Difference methods (FDM). Similar to the FEM, this method uses the triangulation technique and function approximation
Active Contours without Edges
, 2001
"... In this paper, we propose a new model for active contours to detect objects in a given image, based on techniques of curve evolution, MumfordShah functional for segmentation and level sets. Our model can detect objects whose boundaries are not necessarily defined by gradient. We minimize an energy ..."
Abstract

Cited by 1188 (37 self)
 Add to MetaCart
of the image, as in the classical active contour models, but is instead related to a particular segmentation of the image. We will give a numerical algorithm using finite differences. Finally, we will present various experimental results and in particular some examples for which the classical snakes methods
ON CERTAIN FINITEDIFFERENCE METHODS
"... Two finitedifference methods for, geophysical.fluid problems are described, and stability conditions of these schemes arc discussed. These two schemes are formulated based upon a similar procedure given by Lax and Wendroff in order to obtain a secondorder accuracy in finitedifference equations. H ..."
Abstract
 Add to MetaCart
Two finitedifference methods for, geophysical.fluid problems are described, and stability conditions of these schemes arc discussed. These two schemes are formulated based upon a similar procedure given by Lax and Wendroff in order to obtain a secondorder accuracy in finitedifference equations
Results 11  20
of
1,266,898