#### Filter Results:

#### Publication Year

2008

2010

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

- J Strother Moore, Matt Martinez
- 2008

We describe a mechanically checked proof that the Boyer-Moore fast string searching algorithm is correct. This is done by expressing both the fast algorithm and the naïve (obviously correct) algorithm as functions in applicative Common Lisp and proving them equivalent with the ACL2 theorem prover. The algorithm verified differs from the original Boyer-Moore… (More)

Both the space borne radar and the radiometer suite on the TRMM satellite observe the same column of precipitation and derive rain rates, however at different spatial resolutions. The observations from TRMM PR and TMI are fundamentally different measurements. While the radar provides a backscatter measurement resolved in vertical profile, the radiometer is… (More)

- ‹
- 1
- ›