• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 25 matches

• 2024
• 
  Rowan Davies, He Haitao, Hui Fang:
  A Multiscale Framework for Capturing Oscillation Dynamics of Autonomous Vehicles in Data-Driven Car-Following Models. IEEE Trans. Intell. Transp. Syst. 25(11): 18224-18235 (2024)
• 2018
• 
  Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt:
  Practical Optional Types for Clojure. CoRR abs/1812.03571 (2018)
• 2017
• 
  Rowan Davies:
  A Temporal Logic Approach to Binding-Time Analysis. J. ACM 64(1): 1:1-1:45 (2017)
• 2016
• 
  Arran Stewart, Rachel Cardell-Oliver, Rowan Davies:
  Fine-grained classification of side-effect free methods in real-world Java code and applications to software security. ACSW 2016: 37
• 
  Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt:
  Practical Optional Types for Clojure. ESOP 2016: 68-94
• 2013
• 
  Syed M. S. Islam, Rowan Davies, Mohammed Bennamoun, Robyn A. Owens, Ajmal S. Mian:
  Multibiometric human recognition using 3D ear and face features. Pattern Recognit. 46(3): 613-627 (2013)
• 2012
• 
  Syed M. S. Islam, Mohammed Bennamoun, Robyn A. Owens, Rowan Davies:
  A review of recent advances in 3D ear- and expression-invariant face biometrics. ACM Comput. Surv. 44(3): 14:1-14:34 (2012)
• 
  James Hales, Tim French, Rowan Davies:
  Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. Advances in Modal Logic 2012: 317-338
• 2011
• 
  Syed M. S. Islam, Rowan Davies, Mohammed Bennamoun, Ajmal S. Mian:
  Efficient Detection and Recognition of 3D Ears. Int. J. Comput. Vis. 95(1): 52-73 (2011)
• 
  James Hales, Tim French, Rowan Davies:
  Refinement Quantified Logics of Knowledge. M4M/LAMAS 2011: 85-98
• 2009
• 
  Syed M. S. Islam, Rowan Davies:
  Refining Local 3D Feature Matching through Geometric Consistency for Robust Biometric Recognition. DICTA 2009: 513-518
• 
  Syed M. S. Islam, Mohammed Bennamoun, Ajmal S. Mian, Rowan Davies:
  Score Level Fusion of Ear and Face Local 3D Features for Fast and Expression-Invariant Human Recognition. ICIAR 2009: 387-396
• 2008
• 
  Syed M. S. Islam, Rowan Davies, Ajmal S. Mian, Mohammed Bennamoun:
  A Fast and Fully Automatic Ear Recognition Approach Based on 3D Local Surface Features. ACIVS 2008: 1081-1092
• 
  Syed M. S. Islam, Mohammed Bennamoun, Rowan Davies:
  Fast and Fully Automatic Ear Detection Using Cascaded AdaBoost. WACV 2008: 1-6
• 2007
• 
  Syed M. S. Islam, Mohammed Bennamoun, Robyn A. Owens, Rowan Davies:
  Biometric Approaches of 2D-3D Ear and Face: A Survey. SCSS (1) 2007: 509-514
• 2001
• 
  Rowan Davies, Frank Pfenning:
  A modal analysis of staged computation. J. ACM 48(3): 555-604 (2001)
• 
  Frank Pfenning, Rowan Davies:
  A judgmental reconstruction of modal logic. Math. Struct. Comput. Sci. 11(4): 511-540 (2001)
• 2000
• 
  Rowan Davies, Frank Pfenning:
  Intersection types and computational effects. ICFP 2000: 198-208
• 1999
• 
  Luca Cardelli, Rowan Davies:
  Service Combinators for Web Computing. IEEE Trans. Software Eng. 25(3): 309-316 (1999)
• 1998
• 
  Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies:
  Modal Types as Staging Specifications for Run-Time Code Generation. ACM Comput. Surv. 30(3es): 8 (1998)
• 1997
• 
  Rowan Davies, Gordon F. Royle:
  Graph Domination, Tabu Search and the Football Pool Problem. Discret. Appl. Math. 74(3): 217-228 (1997)
• 
  Rowan Davies:
  Refinement-Type Checker for Standard ML. AMAST 1997: 565-566
• 
  Luca Cardelli, Rowan Davies:
  Service Combinators for Web Computing. DSL 1997: 1-10
• 1996
• 
  Rowan Davies:
  A Temporal-Logic Approach to Binding-Time Analysis. LICS 1996: 184-195
• 
  Rowan Davies, Frank Pfenning:
  A Modal Analysis of Staged Computation. POPL 1996: 258-270