Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Carnegie-Document'

Carnegie-Document published presentations and documents on DocSlides.

Position Paper Deeply Embedded Survivability Philip Koopman Jennifer Black Theresa Maxino Carnegie Mellon University koopman jenm maxinocmu
Position Paper Deeply Embedded Survivability Philip Koopman Jennifer Black Theresa Maxino Carnegie Mellon University koopman jenm maxinocmu
by stefany-barnette
edu Abstract This position paper identifies three ...
AssumeGuarantee Reasoning for Hybrid IOAutomata by OverApproximation of Continuous Interaction Goran Frehse Zhi Han Bruce Krogh Department of Electrical and Computer Engineering Carnegie Mellon Univer
AssumeGuarantee Reasoning for Hybrid IOAutomata by OverApproximation of Continuous Interaction Goran Frehse Zhi Han Bruce Krogh Department of Electrical and Computer Engineering Carnegie Mellon Univer
by briana-ranney
cmuedu Abstract Assumeguarantee reasoning AGR is ...
AEG Automatic Exploit Generation Thanassis Avgerinos Sang Kil Cha Brent Lim Tze Hao and David Brumley Carnegie Mellon University Pittsburgh PA thanassis sangkilc brentlim dbrumley cmu
AEG Automatic Exploit Generation Thanassis Avgerinos Sang Kil Cha Brent Lim Tze Hao and David Brumley Carnegie Mellon University Pittsburgh PA thanassis sangkilc brentlim dbrumley cmu
by cheryl-pisano
edu Abstract The automatic exploit generation chal...
Student Medica l Insurance Cancellation Form University Health Services Carnegie Mellon STUDENT MEDICAL INSURANCE CANCELLATION FORM Use this form to cancel your student medical insurance
Student Medica l Insurance Cancellation Form University Health Services Carnegie Mellon STUDENT MEDICAL INSURANCE CANCELLATION FORM Use this form to cancel your student medical insurance
by debby-jeon
Please print clearly and complete all fields Ques...
SIGGRAPH Orlando July C OMPUTER RAPHICS Proceedings Annual Conference Series Large Steps in Cloth Simulation David Baraff Andrew Witkin Robotics Institute Carnegie Mellon University Abstract The bo
SIGGRAPH Orlando July C OMPUTER RAPHICS Proceedings Annual Conference Series Large Steps in Cloth Simulation David Baraff Andrew Witkin Robotics Institute Carnegie Mellon University Abstract The bo
by lindy-dunigan
This paper describes a cloth simulation system th...
Geometric Context from a Single Image Derek Hoiem Alexei A
Geometric Context from a Single Image Derek Hoiem Alexei A
by conchita-marotz
Efros Martial Hebert Carnegie Mellon University d...
Anytime Dynamic A An Anytime Replanning Algorithm Maxim Likhachev Dave Ferguson Geoff Gordon Anthony Stentz and Sebastian Thrun School of Computer Science Computer Science Department Carnegie Mell
Anytime Dynamic A An Anytime Replanning Algorithm Maxim Likhachev Dave Ferguson Geoff Gordon Anthony Stentz and Sebastian Thrun School of Computer Science Computer Science Department Carnegie Mell
by cheryl-pisano
Our algorithm tunes the quality of its solution b...
ARA Anytime A with Provable Bounds on SubOptimality Maxim Likhachev Geoff Gordon and Sebastian Thrun School of Computer Science Carnegie Mellon University Pittsburgh PA maxim ggordon thrun cs
ARA Anytime A with Provable Bounds on SubOptimality Maxim Likhachev Geoff Gordon and Sebastian Thrun School of Computer Science Carnegie Mellon University Pittsburgh PA maxim ggordon thrun cs
by test
cmuedu Abstract In real world planning problems ti...
Computer Graphics Proceedings Annual Conference Series Photo Clip Art JeanFrancois Lalonde Derek Hoiem Alexei A
Computer Graphics Proceedings Annual Conference Series Photo Clip Art JeanFrancois Lalonde Derek Hoiem Alexei A
by trish-goza
Efros Carnegie Mellon University Carsten Rother J...
ZeroShot Learning with Semantic Output Codes Mark Palatucci Robotics Institute Carnegie Mellon University Pittsburgh PA mpalatuccs
ZeroShot Learning with Semantic Output Codes Mark Palatucci Robotics Institute Carnegie Mellon University Pittsburgh PA mpalatuccs
by min-jolicoeur
cmuedu Dean Pomerleau Intel Labs Pittsburgh PA 152...
Testing Juntas Nearly Optimally Eric Blais Carnegie Mellon University School of Computer Science Pittsburgh PA eblaiscs
Testing Juntas Nearly Optimally Eric Blais Carnegie Mellon University School of Computer Science Pittsburgh PA eblaiscs
by myesha-ticknor
cmuedu ABSTRACT A function on variables is called ...
TIE Principled Reverse Engineering of Types in Binary Programs JongHyup Lee Thanassis Avgerinos and David Brumley Carnegie Mellon University jonglee thanassis dbrumley cmu
TIE Principled Reverse Engineering of Types in Binary Programs JongHyup Lee Thanassis Avgerinos and David Brumley Carnegie Mellon University jonglee thanassis dbrumley cmu
by conchita-marotz
edu Abstract A recurring problem in security is re...
Reverse Topk Search using Random Walk with Restart Adams Wei Yu Nikos Mamoulis Hao Su School of Computer Science Carnegie Mellon University Department of Computer Science The University of Hong Ko
Reverse Topk Search using Random Walk with Restart Adams Wei Yu Nikos Mamoulis Hao Su School of Computer Science Carnegie Mellon University Department of Computer Science The University of Hong Ko
by trish-goza
cmuedu nikoscshkuhk haosucsstanfordedu ABSTRACT Wi...
A RealTime Algorithm for Mobile Robot Mapping With Applications to MultiRobot and D Mapping Sebastian Thrun Wolfram Burgard Dieter Fox Computer Science Department Computer Science Department Carnegie
A RealTime Algorithm for Mobile Robot Mapping With Applications to MultiRobot and D Mapping Sebastian Thrun Wolfram Burgard Dieter Fox Computer Science Department Computer Science Department Carnegie
by olivia-moreira
The approach uses a fast implementation of scanma...
Map Building with Mobile Robots in Dynamic Environments Dirk H ahnel Rudolph Triebel Wolfram Burgard Sebastian Thrun University of Freiburg Department of Computer Science Germany Carnegie Mellon Univ
Map Building with Mobile Robots in Dynamic Environments Dirk H ahnel Rudolph Triebel Wolfram Burgard Sebastian Thrun University of Freiburg Department of Computer Science Germany Carnegie Mellon Univ
by jane-oiler
Most of the techniques developed so far have been...
Intro to Bilinear Maps Intro to Bilinear Maps John Bethencourt bethencocs
Intro to Bilinear Maps Intro to Bilinear Maps John Bethencourt bethencocs
by kittie-lecroy
cmuedu Computer Sciences Department Carnegie Mello...
RO BOT Boolean Logic Carnegie Mellon Robotics Academy For use with LEGO MINDSTORMS Education NXT software and base set Reference Boolean Logic Conditions ROBOTC control structures that make decisi
RO BOT Boolean Logic Carnegie Mellon Robotics Academy For use with LEGO MINDSTORMS Education NXT software and base set Reference Boolean Logic Conditions ROBOTC control structures that make decisi
by kittie-lecroy
ROBOTC conditions are always Boolean statements T...
GoodEnough Brain Model Challenges Algorithms and Discoveries in MultiSubject Experiments Evangelos E
GoodEnough Brain Model Challenges Algorithms and Discoveries in MultiSubject Experiments Evangelos E
by tawny-fly
Papalexakis Carnegie Mellon University epapalexcs...
Revisiting Fletcher and Adler Checksums Theresa Maxino Carnegie Mellon University Pittsburgh PA maxinocmu
Revisiting Fletcher and Adler Checksums Theresa Maxino Carnegie Mellon University Pittsburgh PA maxinocmu
by ellena-manuel
edu Abstract Checksums are routinely used to detec...
Large Human Communication Networks Patterns and a UtilityDriven Generator Nan Du Christos Faloutsos Bai Wang Leman Akoglu Carnegie Mellon University Beijing University of Posts and Telecommunications
Large Human Communication Networks Patterns and a UtilityDriven Generator Nan Du Christos Faloutsos Bai Wang Leman Akoglu Carnegie Mellon University Beijing University of Posts and Telecommunications
by tatiana-dople
cmuedu wangbaibupteducn ABSTRACT Given a real and ...
Online Convex Programming and Generalized Innitesimal Gradient Ascent Martin Zinkevich mazcs
Online Convex Programming and Generalized Innitesimal Gradient Ascent Martin Zinkevich mazcs
by celsa-spraggs
cmuedu Carnegie Mellon University 5000 Forbes Aven...
ErrorCorrecting Output Co ding for ext Classication Adam Berger Sc ho ol of Computer Science Carnegie Mellon Univ ersit Pittsburgh abergercs
ErrorCorrecting Output Co ding for ext Classication Adam Berger Sc ho ol of Computer Science Carnegie Mellon Univ ersit Pittsburgh abergercs
by tatiana-dople
cmuedu Abstract This pap er applies errorcorrectin...
Coupled SemiSupervised Learning for Information Extraction Andrew Carlson Schoool of Computer Science Carnegie Mellon University Pittsburgh PA acarlsoncs
Coupled SemiSupervised Learning for Information Extraction Andrew Carlson Schoool of Computer Science Carnegie Mellon University Pittsburgh PA acarlsoncs
by celsa-spraggs
cmuedu Justin Betteridge Schoool of Computer Scien...
Control Flow Analysis in Scheme Olin Shivers Carnegie Mellon University shiverscs
Control Flow Analysis in Scheme Olin Shivers Carnegie Mellon University shiverscs
by test
emu edu Abstract Traditional flow analysis techni...
An Experimental Study of Data Retention Behavior in Modern DRAM Devices Implications for Retention Time Proling Mechanisms Jamie Liu Carnegie Mellon University Forbes Ave
An Experimental Study of Data Retention Behavior in Modern DRAM Devices Implications for Retention Time Proling Mechanisms Jamie Liu Carnegie Mellon University Forbes Ave
by jane-oiler
Pittsburgh PA 15213 jamielalumnicmuedu Ben Jaiyen...
Property Testing Lower Bounds Via Communication Complexity Eric Blais Computer Science Department Carnegie Mellon University Pittsburgh PA eblaiscs
Property Testing Lower Bounds Via Communication Complexity Eric Blais Computer Science Department Carnegie Mellon University Pittsburgh PA eblaiscs
by tatiana-dople
cmuedu Joshua Brody IIIS ITCS Tsinghua University ...
Adaptive Fuzzy Throttle Control for an All Terrain Vehicle Ashitey TrebiOllennu and John M
Adaptive Fuzzy Throttle Control for an All Terrain Vehicle Ashitey TrebiOllennu and John M
by luanne-stotts
Dolan Carnegie Mellon University Institute for Co...
Differentially Private MEstimators Lei Jing Department of Statistics Carnegie Mellon University Pittsburgh PA jingleiandrew
Differentially Private MEstimators Lei Jing Department of Statistics Carnegie Mellon University Pittsburgh PA jingleiandrew
by cheryl-pisano
cmuedu Abstract This paper studies privacy preserv...
Deformable Graph Matching Feng Zhou Fernando De la Torre Robotics Institute Carnegie Mellon University Pittsburgh PA httpwww
Deformable Graph Matching Feng Zhou Fernando De la Torre Robotics Institute Carnegie Mellon University Pittsburgh PA httpwww
by stefany-barnette
fzhoucom ftorrecscmuedu Abstract Graph matching GM...
Chapte INTEGE PROGRAMMIN G Rober Bosc h Oberlin College Oberlin OH USA Michae Tric k Carnegie Mellon University Pittsburgh PA USA
Chapte INTEGE PROGRAMMIN G Rober Bosc h Oberlin College Oberlin OH USA Michae Tric k Carnegie Mellon University Pittsburgh PA USA
by yoshiko-marsland
INTRODUCTIO N Ove th las 2 years th combinatio o ...
RO BOT Reference Thresholds Carnegie Mellon Robotics Academy For use with LEGO MINDSTORMS Education NXT software and base set If you look at this image it shows an NXT using an Ultrasonic sensor
RO BOT Reference Thresholds Carnegie Mellon Robotics Academy For use with LEGO MINDSTORMS Education NXT software and base set If you look at this image it shows an NXT using an Ultrasonic sensor
by natalia-silvester
The threshold in this case is 25cm We can create ...
Monte Carlo Localization Efcient Position Estimation for Mobile Robots Dieter Fox Wolfram Burgard Frank Dellaert Sebastian Thrun School of Computer Science Computer Science Department III Carnegie M
Monte Carlo Localization Efcient Position Estimation for Mobile Robots Dieter Fox Wolfram Burgard Frank Dellaert Sebastian Thrun School of Computer Science Computer Science Department III Carnegie M
by conchita-marotz
MCL is a version of Markov localization a family ...
Putting Objects in Perspective Derek Hoiem Alexei A
Putting Objects in Perspective Derek Hoiem Alexei A
by olivia-moreira
Efros Martial Hebert Carnegie Mellon University R...
How to determine a good multiprogramming level for externa l scheduling Bianca Schroeder Mor HarcholBalter Carnegie Mellon University Department of Computer Science Pittsburgh PA USA bianca harchol a
How to determine a good multiprogramming level for externa l scheduling Bianca Schroeder Mor HarcholBalter Carnegie Mellon University Department of Computer Science Pittsburgh PA USA bianca harchol a
by test
cmuedu Arun Iyengar Erich Nahum Adam Wierman IBM T...
A Guide to Heuristicbased Path Planning Dave Ferguson Maxim Likhachev and Anthony Stentz School of Computer Science Carnegie Mellon University Pittsburgh PA USA Abstract We describe a family of recen
A Guide to Heuristicbased Path Planning Dave Ferguson Maxim Likhachev and Anthony Stentz School of Computer Science Carnegie Mellon University Pittsburgh PA USA Abstract We describe a family of recen
by min-jolicoeur
We discuss the fundamental similarities between s...
Provable Subspace Clustering When LRR meets SSC YuXiang Wang School of Computer Science Carnegie Mellon University Pittsburgh PA USA yuxiangwcs
Provable Subspace Clustering When LRR meets SSC YuXiang Wang School of Computer Science Carnegie Mellon University Pittsburgh PA USA yuxiangwcs
by tatiana-dople
cmuedu Huan Xu Dept of Mech Engineering National U...
ORMAL ANGUAGES A UTOMATA AND OMPUTATION URING ACHINES Carnegie Mellon University in Qatar L ECTURE LIDES FOR PRING URING ACHINES S YNOPSIS The most general model of computation Computations
ORMAL ANGUAGES A UTOMATA AND OMPUTATION URING ACHINES Carnegie Mellon University in Qatar L ECTURE LIDES FOR PRING URING ACHINES S YNOPSIS The most general model of computation Computations
by mitsue-stanley
Accepting Con64257guration Rejecting Con64257gura...
Variance Reduction for Stochastic Gradient Optimization Chong Wang Xi Chen Alex Smola Eric P
Variance Reduction for Stochastic Gradient Optimization Chong Wang Xi Chen Alex Smola Eric P
by briana-ranney
Xing Carnegie Mellon University University of Cal...
RO BOT Reference ifelse Statement Carnegie Mellon Robotics Academy For use with LEGO MINDSTORMS Education NXT software and base set ifelse Statement if condition truecommands else falsecommands B
RO BOT Reference ifelse Statement Carnegie Mellon Robotics Academy For use with LEGO MINDSTORMS Education NXT software and base set ifelse Statement if condition truecommands else falsecommands B
by tawny-fly
task main while true if SensorValue sonarSensor ...
AdjacencyF aithfulness and Conserv ativ Causal Inference Joseph Ramsey eter Spirtes Departmen of Philosoph Carnegie Mellon Univ ersit Pittsburgh jdramsey psz andrew
AdjacencyF aithfulness and Conserv ativ Causal Inference Joseph Ramsey eter Spirtes Departmen of Philosoph Carnegie Mellon Univ ersit Pittsburgh jdramsey psz andrew
by pasty-toler
cmu e du Jiji Zhang Division of Humanities and So ...