• 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 63 matches

• 2020
• 
  Prem Devanbu, Matthew B. Dwyer, Sebastian G. Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh, Xiangyu Zhang:
  Deep Learning & Software Engineering: State of Research and Future Directions. CoRR abs/2009.08525 (2020)
• 2017
• 
  Charles Hartsell, Gabor Karsai, Michael R. Lowry:
  Timing analysis of a middleware-based system. ARM@Middleware 2017: 5:1-5:6
• 2016
• 
  Stephanie M. Lowry, Michael J. Milford:
  Supervised and Unsupervised Linear Learning Techniques for Visual Place Recognition in Changing Environments. IEEE Trans. Robotics 32(3): 600-613 (2016)
• 
  Stephanie M. Lowry, Niko Sünderhauf, Paul Newman, John J. Leonard, David D. Cox, Peter I. Corke, Michael J. Milford:
  Visual Place Recognition: A Survey. IEEE Trans. Robotics 32(1): 1-19 (2016)
• 2015
• 
  Zetao Chen, Stephanie M. Lowry, Adam Jacobson, Michael E. Hasselmo, Michael Milford:
  Bio-inspired homogeneous multi-scale place recognition. Neural Networks 72: 48-61 (2015)
• 
  Michael Milford, Stephanie M. Lowry, Niko Sünderhauf, Sareh Shirazi, Edward Pepperell, Ben Upcroft, Chunhua Shen, Guosheng Lin, Fayao Liu, Cesar Cadena, Ian D. Reid:
  Sequence searching with deep-learnt depth for condition- and viewpoint-invariant route-based place recognition. CVPR Workshops 2015: 18-25
• 
  Zetao Chen, Stephanie M. Lowry, Adam Jacobson, ZongYuan Ge, Michael Milford:
  Distance metric learning for feature-agnostic place recognition. IROS 2015: 2556-2563
• 
  Stephanie M. Lowry, Michael J. Milford:
  Building beliefs: Unsupervised generation of observation likelihoods for probabilistic localization in changing environments. IROS 2015: 3071-3078
• 2014
• 
  John H. Lowry, Michael B. Lowry:
  Comparing spatial metrics that quantify urban form. Comput. Environ. Urban Syst. 44: 59-67 (2014)
• 
  Stephanie M. Lowry, Michael J. Milford, Gordon F. Wyeth:
  Transforming morning to afternoon using linear regression techniques. ICRA 2014: 3950-3955
• 
  Stephanie M. Lowry, Gordon F. Wyeth, Michael Milford:
  Towards training-free appearance-based localization: Probabilistic models for whole-image descriptors. ICRA 2014: 711-717
• 
  Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry:
  Analysis and testing of PLEXIL plans. FormaliSE 2014: 52-58
• 2013
• 
  Stephanie M. Lowry, Gordon F. Wyeth, Michael Milford:
  Odometry-driven inference to link multiple exemplars of a location. IROS 2013: 534-539
• 
  Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry:
  Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS 2013: 523-529
• 2012
• 
  Michael N. Fienen, Christopher S. Lowry:
  Social.Water - A crowdsourcing tool for environmental data acquisition. Comput. Geosci. 49: 164-169 (2012)
• 
  Jennifer Francois, Michael W. Conway, John P. Lowry, Mark D. Tricklebank, Gary Gilmour:
  Changes in reward-related signals in the rat nucleus accumbens measured by in vivo oxygen amperometry are consistent with fMRI BOLD responses in man. NeuroImage 60(4): 2169-2181 (2012)
• 
  Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad, Kwang-Hae (Kane) Kim, Michael R. Lowry:
  Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. IEEE Trans. Ind. Informatics 8(2): 366-377 (2012)
• 
  Craig Partridge, Robert Walsh, Matthew Gillen, Gregory Lauer, John Lowry, W. Timothy Strayer, Derrick Kong, David Levin, Joseph P. Loyall, Michael Paulitsch:
  A secure content network in space. CHANTS@MobiCom 2012: 43-50
• 
  Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen:
  Integrating Statechart Components in Polyglot. NASA Formal Methods 2012: 267-272
• 2011
• 
  Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry:
  Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA 2011: 45-55
• 
  Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger:
  Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping 2011: 121-127
• 2010
• 
  Trevor Harmon, Michael R. Lowry:
  N-version programming in WCET analysis: revisiting a discredited idea. FoSER 2010: 157-160
• 
  Michael R. Lowry:
  Towards predictive models of technology impact on software design productivity. FoSER 2010: 223-228
• 
  Arnaud Venet, Michael R. Lowry:
  Static analysis for software assurance: soundness, scalability and adaptiveness. FoSER 2010: 393-396
• 2008
• 
  Tao Zhong, Rhonda Young, Michael Lowry, G. Scott Rutherford:
  A model for public involvement in transportation improvement programming using participatory Geographic Information Systems. Comput. Environ. Urban Syst. 32(2): 123-133 (2008)
• 
  Michael R. Lowry:
  Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle. ISMIS 2008: 28-37
• 
  Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape:
  Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. ISSTA 2008: 15-26
• 2006
• 
  Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green:
  NASA's Exploration Agenda and Capability Engineering. Computer 39(1): 63-73 (2006)
• 2005
• 
  Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington:
  Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005)
• 
  Robert Glück, Michael R. Lowry:
  Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings. Lecture Notes in Computer Science 3676, Springer 2005, ISBN 3-540-29138-5 [contents]

skipping 33 more matches