CSAIL Digital Archive: Recent submissions

Now showing items 253-255 of 807

    • Probabilistic and Statistical Analysis of Perforated Patterns 

      Misailovic, Sasa; Roy, Daniel M.; Rinard, Martin (2011-01-19)
      We present a new foundation for the analysis and transformation of computer programs.Standard approaches involve the use of logical reasoning to prove that the applied transformation does not change the observable semantics ...

    • Flexible Execution of Plans with Choice and Uncertainty 

      Conrad, Patrick R; Williams, Brian C (2011-01-15)
      Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties, while improving robustness and reducing the need for an overly conservative plan. Executives have improved robustness by expanding ...

    • Neurons That Confuse Mirror-Symmetric Object Views 

      Mutch, Jim; Leibo, Joel Z; Smale, Steve; Rosasco, Lorenzo; Poggio, Tomaso (2010-12-31)
      Neurons in inferotemporal cortex that respond similarly to many pairs of mirror-symmetric images -- for example, 45 degree and -45 degree views of the same face -- have often been reported. The phenomenon seemed to be an ...