Rowan Davies
Rowan Davies
Software Engineer, Commonwealth Bank of Australia
Verified email at cba.com.au
TitleCited byYear
A modal analysis of staged computation
R Davies, F Pfenning
Journal of the ACM (JACM) 48 (3), 555-604, 2001
4192001
A judgmental reconstruction of modal logic
F Pfenning, R Davies
Mathematical structures in computer science 11 (4), 511-540, 2001
3812001
A temporal-logic approach to binding-time analysis
R Davies
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 184-195, 1996
1901996
Service combinators for web computing
L Cardelli, R Davies
IEEE Transactions on Software Engineering 25 (3), 309-316, 1999
1591999
The effect of digoxin on mortality and morbidity in patients with heart failure
G Perry, E Brown, R Thornton, T Shiva, J Hubbard, KR Reddy, JE Doherty, ...
New England Journal of Medicine 336 (8), 525-533, 1997
1541997
Intersection types and computational effects
R Davies, F Pfenning
ACM Sigplan Notices 35 (9), 198-208, 2000
1202000
Fast and fully automatic ear detection using cascaded adaboost
SMS Islam, M Bennamoun, R Davies
2008 IEEE Workshop on Applications of Computer Vision, 1-6, 2008
892008
Efficient detection and recognition of 3D ears
SMS Islam, R Davies, M Bennamoun, AS Mian
International Journal of Computer Vision 95 (1), 52-73, 2011
832011
Practical refinement-type checking
R Davies
Carnegie Mellon University, 2005
722005
Run-time code generation and Modal-ML
P Wickline, P Lee, F Pfenning
ACM SIGPLAN Notices 33 (5), 224-235, 1998
631998
Modal types as staging specifications for run-time code generation
P Wickline, P Lee, F Pfenning, R Davies
ACM Comput. Surv. 30 (3es), 8, 1998
431998
A fast and fully automatic ear recognition approach based on 3D local surface features
SMS Islam, R Davies, AS Mian, M Bennamoun
International Conference on Advanced Concepts for Intelligent Vision Systems …, 2008
392008
Multibiometric human recognition using 3D ear and face features
SMS Islam, R Davies, M Bennamoun, RA Owens, AS Mian
Pattern Recognition 46 (3), 613-627, 2013
372013
Graph domination, tabu search and the football pool problem
R Davies, GF Royle
Discrete Applied Mathematics 74 (3), 217-228, 1997
291997
A review of recent advances in 3D ear-and expression-invariant face biometrics
S Islam, M Bennamoun, RA Owens, R Davies
ACM Computing Surveys (CSUR) 44 (3), 14, 2012
282012
A fully automatic approach for human recognition from profile images using 2D and 3D ear data
S Islam, M Bennamoun, A Mian, R Davies
Proceedings of the 4th International Symposium on 3D Data Processing …, 2008
282008
Biometric approaches of 2D-3D ear and face: A survey
SMS Islam, M Bennamoun, R Owens, R Davies
Advances in computer and information sciences and engineering, 509-514, 2008
262008
A refinement-type checker for Standard ML
R Davies
AMAST 97, 565-566, 1997
251997
Practical optional types for Clojure
A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt
European Symposium on Programming, 68-94, 2016
242016
Score level fusion of ear and face local 3D features for fast and expression-invariant human recognition
SMS Islam, M Bennamoun, AS Mian, R Davies
International conference image analysis and recognition, 387-396, 2009
202009
The system can't perform the operation now. Try again later.
Articles 1–20