1![SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s](https://www.pdfsearch.io/img/1b436aaaf35b945ae7b7a6802521dc7e.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2006-06-09 05:24:28
|
---|
2![SWIFT: Predictive Fast Reroute Technical Report Thomas Holterbach∗† , Stefano Vissicchio‡ , Alberto Dainotti† , Laurent Vanbever∗ ∗ ETH Zürich, † CAIDA, UC San Diego, ‡ University College London ABSTRACT SWIFT: Predictive Fast Reroute Technical Report Thomas Holterbach∗† , Stefano Vissicchio‡ , Alberto Dainotti† , Laurent Vanbever∗ ∗ ETH Zürich, † CAIDA, UC San Diego, ‡ University College London ABSTRACT](https://www.pdfsearch.io/img/1d7384ce6743ab773501c4c305d34a71.jpg) | Add to Reading ListSource URL: swift.ethz.chLanguage: English - Date: 2017-09-11 06:28:39
|
---|
3![Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece](https://www.pdfsearch.io/img/be1f7a907ab50dbcf83b29b2506c3f90.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:48
|
---|
4![Fast Evolutionary Adaptation for Monte Carlo Tree Search Simon M. Lucas, Spyridon Samothrakis and Diego Perez University of Essex, UK Abstract This paper describes a new adaptive Monte Carlo Tree Search (MCTS) algorithm Fast Evolutionary Adaptation for Monte Carlo Tree Search Simon M. Lucas, Spyridon Samothrakis and Diego Perez University of Essex, UK Abstract This paper describes a new adaptive Monte Carlo Tree Search (MCTS) algorithm](https://www.pdfsearch.io/img/7a5c8d100b5112b25e80fa963490ad3a.jpg) | Add to Reading ListSource URL: www.diego-perez.netLanguage: English - Date: 2014-09-01 11:09:24
|
---|
5![Analysis of Fast Adaptive Traffic Engineering Using a Feedback Control Model Ning Wu and Ao Tang Abstract— This paper analyzes fast adaptive traffic engineering from a feedback control perspective. We provide a model t Analysis of Fast Adaptive Traffic Engineering Using a Feedback Control Model Ning Wu and Ao Tang Abstract— This paper analyzes fast adaptive traffic engineering from a feedback control perspective. We provide a model t](https://www.pdfsearch.io/img/021ab7df4d16ffc5498128a80084471c.jpg) | Add to Reading ListSource URL: people.ece.cornell.eduLanguage: English - Date: 2018-01-11 16:33:50
|
---|
6![Modular SMT Proofs for Fast Reflexive Checking inside Coq? Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, and David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract. We present a new methodology for exc Modular SMT Proofs for Fast Reflexive Checking inside Coq? Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, and David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract. We present a new methodology for exc](https://www.pdfsearch.io/img/69aca97e4d02af022b54b72552d44eb0.jpg) | Add to Reading ListSource URL: people.rennes.inria.frLanguage: English - Date: 2014-09-03 04:27:29
|
---|
7![Fast, Ad Hoc Query Evaluations over Multidimensional Geospatial Datasets Matthew Malensek, Sangmi Pallickara, and Shrideep Pallickara, Members, IEEE Abstract—Networked observational devices and remote sensing equipment Fast, Ad Hoc Query Evaluations over Multidimensional Geospatial Datasets Matthew Malensek, Sangmi Pallickara, and Shrideep Pallickara, Members, IEEE Abstract—Networked observational devices and remote sensing equipment](https://www.pdfsearch.io/img/9ad2cfcfa8ff85c88cebd7c7a36be327.jpg) | Add to Reading ListSource URL: glean.cs.colostate.eduLanguage: English - Date: 2015-01-14 12:35:22
|
---|
8![A Lagrangian-DNN Relaxation: a Fast Method for Computing Tight Lower Bounds for a Class of Quadratic Optimization Problems Sunyoung Kim? , Masakazu Kojima† and Kim-Chuan Toh‡ October 2013 Abstract. We propose an effi A Lagrangian-DNN Relaxation: a Fast Method for Computing Tight Lower Bounds for a Class of Quadratic Optimization Problems Sunyoung Kim? , Masakazu Kojima† and Kim-Chuan Toh‡ October 2013 Abstract. We propose an effi](https://www.pdfsearch.io/img/5e168bdb552563604c0083174f3cf890.jpg) | Add to Reading ListSource URL: www.math.nus.edu.sgLanguage: English - Date: 2015-02-07 02:01:57
|
---|
9![Fast Trajectory Optimization for Agile Quadrotor Maneuvers with a Cable-Suspended Payload Philipp Foehn1 , Davide Falanga1 , Naveen Kuppuswamy2 , Russ Tedrake2 , Davide Scaramuzza1 Abstract—Executing agile quadrotor ma Fast Trajectory Optimization for Agile Quadrotor Maneuvers with a Cable-Suspended Payload Philipp Foehn1 , Davide Falanga1 , Naveen Kuppuswamy2 , Russ Tedrake2 , Davide Scaramuzza1 Abstract—Executing agile quadrotor ma](https://www.pdfsearch.io/img/696012e3d1ba7e7d0b8eb7b312a40610.jpg) | Add to Reading ListSource URL: rpg.ifi.uzh.chLanguage: English - Date: 2017-06-20 05:00:23
|
---|
10![Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista](https://www.pdfsearch.io/img/4b88eb5a27afec4857a68555d8d0c5d8.jpg) | Add to Reading ListSource URL: people.rennes.inria.frLanguage: English - Date: 2014-09-03 04:27:19
|
---|