886 search results - page 59 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
WSC
1998
14 years 11 months ago
1998
In this paper, we investigate the problem of deriving precision estimates for bootstrap quantities within parametric families. Efron's [1992] jackknife-after-bootstrap is a s...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—Autonomous robot navigation in unstructured outdoor environments is a challenging area of active research. The navigation task requires identifying safe, traversable pat...
IFM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
HUC
2010
Springer
14 years 8 months ago
2010
Springer
Even though the coordination of kids’ activities is largely successful, the modern dual income family still regularly experiences breakdowns in their practices. Families often r...
IAJIT
2010
14 years 8 months ago
2010
: Image segmentation is an essential step in image processing. The goal of segmentation is to simplify and/or to change the representation of an image into a form easier to analyze...