Travelled to:1 × Korea
1 × United Kingdom
Collaborated with:H.Zhou P.R.Green A.Bonenfant Z.Chen K.Hammond G.Michaelson I.Wallace
Talks about:bayesian (1) softwar (1) resourc (1) process (1) certifi (1) toward (1) period (1) motion (1) formal (1) exampl (1)
Person: Andrew M. Wallace
DBLP: Wallace:Andrew_M=
Contributed to:
2007
2004Wrote 2 papers:
- SAC-2007-BonenfantCHMWW #cost analysis #towards
- Towards resource-certified software: a formal cost model for time and its application to an image-processing example (AB, ZC, KH, GM, AMW, IW), pp. 1307–1314.
- ICPR-v4-2004-ZhouWG #estimation #using
- Tracking Periodic Motion using Bayesian Estimation (HZ, AMW, PRG), pp. 725–728.