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
4322001
A judgmental reconstruction of modal logic
F Pfenning, R Davies
Mathematical structures in computer science 11 (4), 511-540, 2001
3922001
A temporal-logic approach to binding-time analysis
R Davies
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 184-195, 1996
1931996
Service combinators for web computing
L Cardelli, R Davies
IEEE Transactions on Software Engineering 25 (3), 309-316, 1999
1611999
Intersection types and computational effects
R Davies, F Pfenning
Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000
1232000
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
912008
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
872011
Practical refinement-type checking
R Davies
Carnegie Mellon University, 2005
732005
Run-time code generation and Modal-ML
P Wickline, P Lee, F Pfenning
Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998
621998
Modal types as staging specifications for run-time code generation
P Wickline, P Lee, F Pfenning, R Davies
ACM Computing Surveys (CSUR) 30 (3es), 8-es, 1998
421998
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
412013
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
402008
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
312008
A review of recent advances in 3D ear-and expression-invariant face biometrics
SMS Islam, M Bennamoun, RA Owens, R Davies
ACM Computing Surveys (CSUR) 44 (3), 1-34, 2012
292012
Graph domination, tabu search and the football pool problem
R Davies, GF Royle
Discrete Applied Mathematics 74 (3), 217-228, 1997
291997
Practical optional types for Clojure
A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt
European Symposium on Programming, 68-94, 2016
262016
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
261997
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
212009
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
J Hales, T French, R Davies
Advances in Modal Logic 9, 317-338, 2012
192012
The system can't perform the operation now. Try again later.
Articles 1–20