SPT: Storyboard Programming Tool
|
|
- Cornelia Booth
- 5 years ago
- Views:
Transcription
1 SPT: Storyboard Programming Too The MIT Facuty has made this artice openy avaiabe. Pease share how this access beneits you. Your story matters. Citation As Pubished Pubisher Singh, Rishabh, and Armando Soar-Lezama. SPT: Storyboard Programming Too. Lecture Notes in Computer Science (2012): Springer-Verag Version Author's ina manuscript Accessed Sun Oct 07 11:20:09 EDT 2018 Citabe Link Terms o Use Creative Commons Attribution-Noncommercia-Share Aike Detaied Terms
2 SPT: Storyboard Programming Too Rishabh Singh and Armando Soar-Lezama MIT CSAIL, Cambridge, MA, USA Abstract. We present Spt, a too that heps programmers write oweve data-structure manipuations by combining various orms o insights such as abstract and concrete input-output eampes as we as impementation skeetons. When programmers write such manipuations, they typicay have a cear high-eve intuition about how the manipuation shoud work, but impementing eicient ow-eve pointer manipuating code is error-prone. Our too aims to bridge the gap between the intuition and the corresponding impementation by automaticay synthesizing the impementation. The too rames the synthesis probem as a generaization o an abstract-interpretation based shape anaysis, and represents the probem as a set o constraints which are soved eicienty by the Sketch sover. We report the successu evauation o our too on synthesizing severa inked ist and binary search tree manipuations. 1 Introduction When programmers write data-structure manipuations, they typicay have cear high-eve visua insights about how the manipuation shoud work, but the transation o these insights to eicient ow-eve pointer manipuating code is diicut and error prone. Program synthesis [1, 5, 6] oers an opportunity to improve productivity by automating this transation. This paper describes our too Spt 1 (Storyboard Programming Too) that heps programmers write ow-eve impementations o data-structure manipuations by combining various orms o insights, incuding abstract and concrete input-output eampes as we as impementation skeetons. Our too is based on a new synthesis agorithm [4] that combines abstractinterpretation based shape-anaysis [2, 3] with constraint-based synthesis [5, 7, 8]. The agorithm uses an abstraction reinement based approach to concisey encode synthesis constraints obtained rom shape anaysis. In this paper, we present a high-eve storyboard anguage that aows programmers to succincty epress the dierent eements that make up a storyboard. The anguage is more concise than the one described in [4] thanks to the use o inerence to derive many ow-eve detais o the storyboard. The paper aso describes the architecture o the Storyboard Programming Too and presents some new resuts comparing Spt with the Sketch synthesis system. Supported by NSF under grant CCF The Storyboard too and benchmarks are avaiabe or downoad at
3 2 Overview: Linked List deetion We present an overview o our too using inked ist deetion as a running eampe. The goa o this manipuation is to deete a node pointed to by a variabe y rom an acycic singy inked ist. The manipuation iterates over the ist unti it inds the required node and then perorms a sequence o pointer assignments to deete the node. Spt synthesizes an imperative impementation o deetion rom a high-eve storyboard in about two minutes. The storyboard that Spt takes as input is composed o scenarios, inductive deinitions and a oop skeeton. A scenario describes the (potentiay abstract) state o a data-structure at dierent stages o the manipuation. Each scenario contains at east two conigurations: input and output corresponding to the state o the data-structure beore and ater the manipuation; a scenario may aso contain descriptions o the state at intermediate points in the computation. The scenarios or inked ist deetion are shown in Figure 1(a), and the corresponding visua description o the scenarios is shown in Figure 1(b). The irst scenario s1 describes an abstract input-output eampe, where the input ist consists o two summary nodes ront and back and a concrete node y that is to be deeted. In this case, the summary node serves as an abstract representation o a ist o arbitrary size. In genera, a summary node represents an arbitrary set o nodes; those nodes in the set which are connected to other nodes not in the set are given concrete names and are caed attachment points. The summary node ront contains two attachment points ront:: and ront:: denoting the irst and ast eements o the ront ist respectivey. The state conigurations are deined using a ist o state predicates such as ( -> ront::) which denotes that the variabe points to the attachment point o ront. The other scenarios s2, s3 and s4 correspond to the cases o deeting the ast node, the irst node and the ony node o the ist respectivey. Notice that there is no scenario corresponding to the case where the node to be deeted is not in the ist. That means that the behavior o the synthesized code wi be unspeciied in such a case. In order or the synthesizer to reason about summary nodes, the user needs to speciy their structure. In this case, or eampe, the user needs to epress the act that ront and back are not just arbitrary sets o nodes; they are ists. In Spt, this structura inormation is provided inductivey through unod rues. The two possibe unod rues or the summary node ront and their corresponding visua description are shown in Figure 2. The rue states that the summary node ront either represents a singe node or a node oowed by another simiar summary node ront. The unod predicate consists o the summary node, the repacement node, the incoming and outgoing edges, and additiona constraints that hod ater the unod operation. In Spt, the programmer can aso provide od rues to describe to the system how sets o nodes can be summarized by a singe node. In most cases, such as the eampe, the synthesizer can reason about the correctness o a manipuation by using the inverse o the unod rues or summarization, but or some tree agorithms, the synthesis process can be made more eicient by providing epicit od rues or summarization.
4 scenario s1 input: -> ront::, y -> y ront::. -> y, back:: -> nu, y. -> back:: output: -> ront::, ront::. -> back::, back::. -> nu scenario s2 input: -> ront::, y -> y y. -> nu, ront::. -> y output: -> ront::, ront::. -> nu scenario s3 input: -> y,y. -> back::, y -> y, back::. -> nu output: -> back::, back::. -> nu scenario s4 input: -> y,y. -> nu,y -> y output: -> nu y ront back y s1 ront back y back y s3 back y ront y s2 ront y y s4 (a) (b) Fig. 1. Scenarios describing input and output state descriptions or inked ist deetion. ront ront ront ront unod ront:: [in (ront::, )] [out (ront::, )] () unod ront:: [in (ront::, )] [out (ront::, ront::)] (. -> ront::) unod ront:: [in (ront::, )] [out (ront::, )] () unod ront:: [in (ront::, ront::)] [out (ront::, )] (ront::. -> ) Fig. 2. Two possibe unod deinitions or summary node ront. In addition to the scenario descriptions, Spt aso requires users to provide a oop skeeton o the desired impementation. This heps the synthesizer ocus on impementations that are cose to the user s epectations, and aso ets them speciy intermediate state constraints. The oop skeeton or the running eampe is shown in Figure 3(a). It consists o a whie oop with a set o unknown statements beore the oop, in the oop body and ater the oop. The unknown statements are denoted by the??(n) operator, where n represents the maimum ength o the unknown statement bock. Spt restricts unknown statements to be o two orms: i) guarded statements o the orm i(**) then ASSIGN, where ** represents a conditiona over pointer variabes and ASSIGN denotes pointer assignments with at most one pointer dereerence, and ii) unod/od statements o the orm unod var (resp. od var) that corresponds to unoding (oding) the ocation pointed to by variabe var.
5 Deete(Node, Node y){ Node temp, prev;??(2) /* h1 */ whie(**){ /* h2 */??(4) /* h3 */??(2) /* h4 */ Deete(Node, Node y){ Node temp, prev; temp = ; whie(temp!= y){ // unod temp1; prev = temp; temp = temp.; // od prev; i(prev == nu) = temp.; i(prev!= nu) prev. = temp.; insert(node, Node y) { Node temp1, temp2;??(2) /* h1 */ whie(**){ /* h2 */??(4) /* h3 */ /* position o y ound */ yposfound:??(4) /* h4 */ (a) (b) (c) Fig. 3. (a) The oop skeeton and (b) the synthesized impementation or inked ist deetion and (c) the oop skeeton or sorted inked ist insertion. Given the scenarios, recursive deinitions and the oop skeeton, Spt synthesizes the imperative impementation shown in Figure 3(b). The true conditionas and skip statements are removed rom the code or better readabiity. 3 Agorithm The detais o the synthesis agorithm used by Spt can be ound in [4]. At a high eve, the agorithm irst transates the oop skeeton into a set o equations reating the inputs and outputs o a the unknown bocks o code. Let F i denote the unknown transer unction that maps a set o program states to another set o program states. The reationships between the inputs and outputs o a the transer unctions is captured by a set o equations o the orm: (t 0 = In k ) vi (V \v 0) t i = F i ( t j ) (1) j pred(v i) where pred(v i ) denotes the predecessors o node v i in the cg. In k denotes the input state constraint or the k th scenario, and the goa is to ind F i such that t N = Out k or each scenario k. The system works by representing the F i as parameterized unctions and soving or the parameters by using a countereampe guided inductive synthesis [4]. 4 Too Architecture The architecture o Storyboard Programming Too consists o our major components as shown in Figure 4: A. Storyboard Parser: The parser takes as input a storyboard description ( *.sb) written in the storyboard anguage and transates it into our intermediate constraint anguage that consists o a set o proog predicates ( *.p). The
6 STORYBOARD PROGRAMMING TOOL C impementation.c.sb input storyboard A STORYBOARD PARSER.p D CODE GENERATOR.out B CONSTRAINT GENERATOR.sk C SKETCH SOLVER Fig. 4. The architecture o Storyboard Programming Too. storyboard anguage is more concise than [4] because the parser aso perorms some type inerence to iner variabes, ocations, seectors, and summary nodes. B. Constraint Generator: The constraint generator transates the proog predicates into a sketch constraint ie ( *.sk). Sketch provides an epressive anguage to deine the shape anaysis probem, aowing us to use high-eve anguage constructs such as unctions, arrays and structures to mode the abstract state, as we as hoes to mode the unknown transer unctions. The probem is encoded in a way that everages the countereampe guided inductive synthesis agorithm o sketch to avoid having to represent sets o shapes epicity. C. Sketch Sover: The Sketch sover soves the sketch constraint ie and produces an output (.out) ie where a unknown unction choices are resoved. D. Code Generator: The code generator takes as input the output generated by the Sketch sover and competes the oop skeeton (.c) by mapping the unction choice vaues to their corresponding program statements and conditionas using the intermediate constraint ie ( *.p). 5 Eperiments and Too Eperiences We evauated the too on severa inked ist and binary search tree manipuations as we as AIG (And-Inverter Graph) insertion. The detais about the eperiments and benchmarks can be ound in [4]. We present here a comparison with the Sketch too on a sma sampe o benchmarks. Comparison with Sketch: Tabe 1 shows the running times o the Storyboard too with the Sketch system. We can see that Sketch is aster, but can ony perorm bounded reasoning (N=5) and quicky times out or arger vaues o N. On the other hand, the storyboard too perorms unbounded anaysis using abstract interpretation. However, the biggest dierence we ound was in the usabiity o the toos. We had to spend amost three hours or writing a spec in Sketch or these manipuations. For writing a sketch, one has to write a converter (and its inverse) or converting (resp. transating back) an array to that
7 Benchmark Sketch Storyboard (N=5) -reverse 18s 1m40s -insert 31s 2m3s -deete 25s 2m8s bst-search 39s 2m51s bst-insert 3m35s 3m12s Tabe 1. Perormance comparison with Sketch. data structure. Then one has to use quantiied input variabes or writing tricky specs. In our storyboard too, we ony have to provide input-output eampes which in our eperience was a ot more natura. We now present some o our other eperiences in handing compicated manipuations with the too. Intermediate State Conigurations: Our too aows users to write intermediate state conigurations to reduce the search space and enabe the synthesizer to synthesize more compe manipuations. The user can abe a program ocation in the oop skeeton and provide the state description at that point using the intermediate keyword as part o the scenario description. For eampe in the case o insertion in a sorted inked ist, we add an additiona insight based on the act that the oop skeeton or the insertion (Figure 3(c)) is perorming two tasks: irst to ind a suitabe ocation or inserting the node y and the second task o inserting y into the ist. In the abstract scenario, we provide an intermediate state coniguration at the abe yposfound in which two variabes point to the two ocations between which the insertion is to be perormed. The Spt too iustrates a new approach to synthesis namey Mutimoda Synthesis, where the synthesizer takes input speciication in many dierent orms such as concrete eampes, abstract eampes, and impementation insights, and synthesizes code that is provaby consistent with a o them. We beieve this idea o mutimoda synthesis has appicabiity in many other domains as we. Reerences 1. B. Jobstmann, A. Griesmayer, and R. Boem. Program repair as a game. In CAV, pages , T. Lev-Ami and S. Sagiv. TVLA: A system or impementing static anayses. In SAS, pages , M. Sagiv, T. Reps, and R. Wihem. Parametric shape anaysis via 3-vaued ogic. In POPL, pages , R. Singh and A. Soar-Lezama. Synthesizing data structure manipuations rom storyboards. In FSE, pages , A. Soar-Lezama. Program Synthesis By Sketching. PhD thesis, EECS, UC Berkeey, A. Soar-Lezama, R. Rabbah, R. Bodik, and K. Ebciogu. Programming by sketching or bit-streaming programs. In PLDI, pages , S. Srivastava, S. Guwani, and J. S. Foster. From program veriication to program synthesis. In POPL, pages , M. T. Vechev, E. Yahav, and G. Yorsh. Abstraction-guided synthesis o synchronization. In POPL, pages , 2010.
Shape Analysis with Structural Invariant Checkers
Shape Anaysis with Structura Invariant Checkers Bor-Yuh Evan Chang Xavier Riva George C. Necua University of Caifornia, Berkeey SAS 2007 Exampe: Typestate with shape anaysis Concrete Exampe Abstraction
More informationLanguage Identification for Texts Written in Transliteration
Language Identification for Texts Written in Transiteration Andrey Chepovskiy, Sergey Gusev, Margarita Kurbatova Higher Schoo of Economics, Data Anaysis and Artificia Inteigence Department, Pokrovskiy
More informationChapter Multidimensional Direct Search Method
Chapter 09.03 Mutidimensiona Direct Search Method After reading this chapter, you shoud be abe to:. Understand the fundamentas of the mutidimensiona direct search methods. Understand how the coordinate
More informationXisa: Extensible Inductive Shape Analysis
Xisa: Extensibe Inductive Shape Anaysis Bor-Yuh Evan Chang U of Coorado, Bouder Xavier Riva INRIA/ENS Paris George C. Necua U of Caifornia, Berkeey Additiona Contributors: Vincent Laviron, James Hoey,
More informationfile://j:\macmillancomputerpublishing\chapters\in073.html 3/22/01
Page 1 of 15 Chapter 9 Chapter 9: Deveoping the Logica Data Mode The information requirements and business rues provide the information to produce the entities, attributes, and reationships in ogica mode.
More informationA Comparison of a Second-Order versus a Fourth- Order Laplacian Operator in the Multigrid Algorithm
A Comparison of a Second-Order versus a Fourth- Order Lapacian Operator in the Mutigrid Agorithm Kaushik Datta (kdatta@cs.berkeey.edu Math Project May 9, 003 Abstract In this paper, the mutigrid agorithm
More informationMobile App Recommendation: Maximize the Total App Downloads
Mobie App Recommendation: Maximize the Tota App Downoads Zhuohua Chen Schoo of Economics and Management Tsinghua University chenzhh3.12@sem.tsinghua.edu.cn Yinghui (Catherine) Yang Graduate Schoo of Management
More informationDETERMINING INTUITIONISTIC FUZZY DEGREE OF OVERLAPPING OF COMPUTATION AND COMMUNICATION IN PARALLEL APPLICATIONS USING GENERALIZED NETS
DETERMINING INTUITIONISTIC FUZZY DEGREE OF OVERLAPPING OF COMPUTATION AND COMMUNICATION IN PARALLEL APPLICATIONS USING GENERALIZED NETS Pave Tchesmedjiev, Peter Vassiev Centre for Biomedica Engineering,
More informationFiltering. Yao Wang Polytechnic University, Brooklyn, NY 11201
Spatia Domain Linear Fitering Yao Wang Poytechnic University Brookyn NY With contribution rom Zhu Liu Onur Gueryuz and Gonzaez/Woods Digita Image Processing ed Introduction Outine Noise remova using ow-pass
More informationl Tree: set of nodes and directed edges l Parent: source node of directed edge l Child: terminal node of directed edge
Trees & Heaps Week 12 Gaddis: 20 Weiss: 21.1-3 CS 5301 Fa 2016 Ji Seaman 1 Tree: non-recursive definition Tree: set of nodes and directed edges - root: one node is distinguished as the root - Every node
More informationCrossing Minimization Problems of Drawing Bipartite Graphs in Two Clusters
Crossing Minimiation Probems o Drawing Bipartite Graphs in Two Custers Lanbo Zheng, Le Song, and Peter Eades Nationa ICT Austraia, and Schoo o Inormation Technoogies, University o Sydney,Austraia Emai:
More informationunderstood as processors that match AST patterns of the source language and translate them into patterns in the target language.
A Basic Compier At a fundamenta eve compiers can be understood as processors that match AST patterns of the source anguage and transate them into patterns in the target anguage. Here we wi ook at a basic
More informationIntro to Programming & C Why Program? 1.2 Computer Systems: Hardware and Software. Why Learn to Program?
Intro to Programming & C++ Unit 1 Sections 1.1-3 and 2.1-10, 2.12-13, 2.15-17 CS 1428 Spring 2018 Ji Seaman 1.1 Why Program? Computer programmabe machine designed to foow instructions Program a set of
More informationRegister Allocation. Consider the following assignment statement: x = (a*b)+((c*d)+(e*f)); In posfix notation: ab*cd*ef*++x
Register Aocation Consider the foowing assignment statement: x = (a*b)+((c*d)+(e*f)); In posfix notation: ab*cd*ef*++x Assume that two registers are avaiabe. Starting from the eft a compier woud generate
More informationSpace-Time Trade-offs.
Space-Time Trade-offs. Chethan Kamath 03.07.2017 1 Motivation An important question in the study of computation is how to best use the registers in a CPU. In most cases, the amount of registers avaiabe
More informationA Memory Grouping Method for Sharing Memory BIST Logic
A Memory Grouping Method for Sharing Memory BIST Logic Masahide Miyazai, Tomoazu Yoneda, and Hideo Fuiwara Graduate Schoo of Information Science, Nara Institute of Science and Technoogy (NAIST), 8916-5
More informationExtracting semistructured data from the Web: An XQuery Based Approach
EurAsia-ICT 2002, Shiraz-Iran, 29-31 Oct. Extracting semistructured data from the Web: An XQuery Based Approach Gies Nachouki Université de Nantes - Facuté des Sciences, IRIN, 2, rue de a Houssinière,
More informationOutline. Parallel Numerical Algorithms. Forward Substitution. Triangular Matrices. Solving Triangular Systems. Back Substitution. Parallel Algorithm
Outine Parae Numerica Agorithms Chapter 8 Prof. Michae T. Heath Department of Computer Science University of Iinois at Urbana-Champaign CS 554 / CSE 512 1 2 3 4 Trianguar Matrices Michae T. Heath Parae
More informationLecture outline Graphics and Interaction Scan Converting Polygons and Lines. Inside or outside a polygon? Scan conversion.
Lecture outine 433-324 Graphics and Interaction Scan Converting Poygons and Lines Department of Computer Science and Software Engineering The Introduction Scan conversion Scan-ine agorithm Edge coherence
More informationDistance Weighted Discrimination and Second Order Cone Programming
Distance Weighted Discrimination and Second Order Cone Programming Hanwen Huang, Xiaosun Lu, Yufeng Liu, J. S. Marron, Perry Haaand Apri 3, 2012 1 Introduction This vignette demonstrates the utiity and
More informationMCSE Training Guide: Windows Architecture and Memory
MCSE Training Guide: Windows 95 -- Ch 2 -- Architecture and Memory Page 1 of 13 MCSE Training Guide: Windows 95-2 - Architecture and Memory This chapter wi hep you prepare for the exam by covering the
More informationSpecial Edition Using Microsoft Excel Selecting and Naming Cells and Ranges
Specia Edition Using Microsoft Exce 2000 - Lesson 3 - Seecting and Naming Ces and.. Page 1 of 8 [Figures are not incuded in this sampe chapter] Specia Edition Using Microsoft Exce 2000-3 - Seecting and
More informationIntro to Programming & C Why Program? 1.2 Computer Systems: Hardware and Software. Hardware Components Illustrated
Intro to Programming & C++ Unit 1 Sections 1.1-3 and 2.1-10, 2.12-13, 2.15-17 CS 1428 Fa 2017 Ji Seaman 1.1 Why Program? Computer programmabe machine designed to foow instructions Program instructions
More informationAutomatic Program Inversion using Symbolic Transducers
Automatic Program Inversion using Symboic Transducers Qinheping Hu University of Wisconsin-Madison qhu8@wisc.edu Loris D Antoni University of Wisconsin-Madison oris@cs.wisc.edu Abstract We propose a fuy-automated
More informationA Design Method for Optimal Truss Structures with Certain Redundancy Based on Combinatorial Rigidity Theory
0 th Word Congress on Structura and Mutidiscipinary Optimization May 9 -, 03, Orando, Forida, USA A Design Method for Optima Truss Structures with Certain Redundancy Based on Combinatoria Rigidity Theory
More informationAvaya Extension to Cellular User Guide Avaya Aura TM Communication Manager Release 5.2.1
Avaya Extension to Ceuar User Guide Avaya Aura TM Communication Manager Reease 5.2.1 November 2009 2009 Avaya Inc. A Rights Reserved. Notice Whie reasonabe efforts were made to ensure that the information
More informationCSE120 Principles of Operating Systems. Prof Yuanyuan (YY) Zhou Synchronization: Semaphore
CSE120 Principes of Operating Systems Prof Yuanyuan (YY) Zhou Synchronization: Synchronization Needs Two synchronization needs Mutua excusion Whenever mutipe threads access a shared data, you need to worry
More informationOuterjoins, Constraints, Triggers
Outerjoins, Constraints, Triggers Lecture #13 Autumn, 2001 Fa, 2001, LRX #13 Outerjoins, Constraints, Triggers HUST,Wuhan,China 358 Outerjoin R S = R S with danging tupes padded with nus and incuded in
More informationReference trajectory tracking for a multi-dof robot arm
Archives of Contro Sciences Voume 5LXI, 5 No. 4, pages 53 57 Reference trajectory tracking for a muti-dof robot arm RÓBERT KRASŇANSKÝ, PETER VALACH, DÁVID SOÓS, JAVAD ZARBAKHSH This paper presents the
More informationPriority Queueing for Packets with Two Characteristics
1 Priority Queueing for Packets with Two Characteristics Pave Chuprikov, Sergey I. Nikoenko, Aex Davydow, Kiri Kogan Abstract Modern network eements are increasingy required to dea with heterogeneous traffic.
More informationHiding secrete data in compressed images using histogram analysis
University of Woongong Research Onine University of Woongong in Dubai - Papers University of Woongong in Dubai 2 iding secrete data in compressed images using histogram anaysis Farhad Keissarian University
More informationSample of a training manual for a software tool
Sampe of a training manua for a software too We use FogBugz for tracking bugs discovered in RAPPID. I wrote this manua as a training too for instructing the programmers and engineers in the use of FogBugz.
More informationA METHOD FOR GRIDLESS ROUTING OF PRINTED CIRCUIT BOARDS. A. C. Finch, K. J. Mackenzie, G. J. Balsdon, G. Symonds
A METHOD FOR GRIDLESS ROUTING OF PRINTED CIRCUIT BOARDS A C Finch K J Mackenzie G J Basdon G Symonds Raca-Redac Ltd Newtown Tewkesbury Gos Engand ABSTRACT The introduction of fine-ine technoogies to printed
More informationWelcome - CSC 301. CSC 301- Foundations of Programming Languages
Wecome - CSC 301 CSC 301- Foundations of Programming Languages Instructor: Dr. Lutz Hame Emai: hame@cs.uri.edu Office: Tyer, Rm 251 Office Hours: TBA TA: TBA Assignments Assignment #0: Downoad & Read Syabus
More informationModelling and Performance Evaluation of Router Transparent Web cache Mode
Emad Hassan A-Hemiary IJCSET Juy 2012 Vo 2, Issue 7,1316-1320 Modeing and Performance Evauation of Transparent cache Mode Emad Hassan A-Hemiary Network Engineering Department, Coege of Information Engineering,
More informationReadme ORACLE HYPERION PROFITABILITY AND COST MANAGEMENT
ORACLE HYPERION PROFITABILITY AND COST MANAGEMENT Reease 11.1.2.4.000 Readme CONTENTS IN BRIEF Purpose... 2 New Features in This Reease... 2 Instaation Information... 2 Supported Patforms... 2 Supported
More informationDynamic Symbolic Execution of Distributed Concurrent Objects
Dynamic Symboic Execution of Distributed Concurrent Objects Andreas Griesmayer 1, Bernhard Aichernig 1,2, Einar Broch Johnsen 3, and Rudof Schatte 1,2 1 Internationa Institute for Software Technoogy, United
More informationModeling of Problems of Projection: A Non-countercyclic Approach * Jason Ginsburg Osaka Kyoiku University
Modeing of Probems of Projection: A Non-countercycic Approach * Jason Ginsburg Osaka Kyoiku University Abstract This paper describes a computationa impementation of the recent Probems of Projection (POP)
More informationEndoscopic Motion Compensation of High Speed Videoendoscopy
Endoscopic Motion Compensation of High Speed Videoendoscopy Bharath avuri Department of Computer Science and Engineering, University of South Caroina, Coumbia, SC - 901. ravuri@cse.sc.edu Abstract. High
More informationAn Introduction to Design Patterns
An Introduction to Design Patterns 1 Definitions A pattern is a recurring soution to a standard probem, in a context. Christopher Aexander, a professor of architecture Why woud what a prof of architecture
More informationHierarchical Encoded Path Views for Path Query Processing: An Optimal Model and Its Performance Evaluation
IEEE TRANSACTIONS ON KNOWLEDE AND DATA ENINEERIN, VOL. 10, NO. 3, MAY/JUNE 1998 409 Hierarchica Encoded Path Views or Path Query Processing: An Optima Mode and Its Perormance Evauation Ning Jing, Yun-Wu
More informationA Petrel Plugin for Surface Modeling
A Petre Pugin for Surface Modeing R. M. Hassanpour, S. H. Derakhshan and C. V. Deutsch Structure and thickness uncertainty are important components of any uncertainty study. The exact ocations of the geoogica
More informationNeural Network Enhancement of the Los Alamos Force Deployment Estimator
Missouri University of Science and Technoogy Schoars' Mine Eectrica and Computer Engineering Facuty Research & Creative Works Eectrica and Computer Engineering 1-1-1994 Neura Network Enhancement of the
More informationA GENERAL PURPOSE FiYl=ERTEXT A6STRACT MACHINE
A GENERAL PURPOSE FiY=ERTEXT A6STRACT MACHNE BRAD CAMPBELL and JOSEPH M. GOODMAN The HAM is a transaction-based server for a hypertext storage system. The seruer is designed to hande mutipe uses in a networked
More informationRDF Objects 1. Alex Barnell Information Infrastructure Laboratory HP Laboratories Bristol HPL November 27 th, 2002*
RDF Objects 1 Aex Barne Information Infrastructure Laboratory HP Laboratories Bristo HPL-2002-315 November 27 th, 2002* E-mai: Andy_Seaborne@hp.hp.com RDF, semantic web, ontoogy, object-oriented datastructures
More informationQuality Assessment using Tone Mapping Algorithm
Quaity Assessment using Tone Mapping Agorithm Nandiki.pushpa atha, Kuriti.Rajendra Prasad Research Schoar, Assistant Professor, Vignan s institute of engineering for women, Visakhapatnam, Andhra Pradesh,
More informationAutomatic Hidden Web Database Classification
Automatic idden Web atabase Cassification Zhiguo Gong, Jingbai Zhang, and Qian Liu Facuty of Science and Technoogy niversity of Macau Macao, PRC {fstzgg,ma46597,ma46620}@umac.mo Abstract. In this paper,
More informationSensitivity Analysis of Hopfield Neural Network in Classifying Natural RGB Color Space
Sensitivity Anaysis of Hopfied Neura Network in Cassifying Natura RGB Coor Space Department of Computer Science University of Sharjah UAE rsammouda@sharjah.ac.ae Abstract: - This paper presents a study
More informationA Fast Block Matching Algorithm Based on the Winner-Update Strategy
In Proceedings of the Fourth Asian Conference on Computer Vision, Taipei, Taiwan, Jan. 000, Voume, pages 977 98 A Fast Bock Matching Agorithm Based on the Winner-Update Strategy Yong-Sheng Chenyz Yi-Ping
More informationCylanceOPTICS. Frequently Asked Questions
CyanceOPTICS Frequenty Asked Questions Question What is CyanceOPTICS? CyanceOPTICS is an AI driven endpoint detection and response component providing consistent visibiity, root cause anaysis, scaabe threat
More informationTopics 1. Manipulators and robots
Proceedings of the Internationa Symposium of Mechanism and Machine Science, 017 AzCIFToMM Azerbaijan Technica University 11-14 September 017, Baku, Azerbaijan Topics 1. Manipuators and robots Anaysis and
More informationOpenScape Desk Phone CP200/CP205 OpenScape Voice OpenScape User Guide SIP A31003-C1000-U
OpenScape Desk Phone CP200/CP205 OpenScape Voice OpenScape 4000 User Guide SIP A31003-C1000-U100-6-7619 Our Quaity and Environmenta Management Systems are impemented according to the requirements o the
More informationUnconstrained Automatic Image Matching Using Multiresolutional Critical-Point Filters
994 IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, VOL., NO. 9, SEPTEMBER 998 Unconstrained Automatic Image Matching Using Mutiresoutiona Critica-Point Fiters Yoshihisa Shinagawa, Member,
More informationACTIVE LEARNING ON WEIGHTED GRAPHS USING ADAPTIVE AND NON-ADAPTIVE APPROACHES. Eyal En Gad, Akshay Gadde, A. Salman Avestimehr and Antonio Ortega
ACTIVE LEARNING ON WEIGHTED GRAPHS USING ADAPTIVE AND NON-ADAPTIVE APPROACHES Eya En Gad, Akshay Gadde, A. Saman Avestimehr and Antonio Ortega Department of Eectrica Engineering University of Southern
More informationTHE PERCENTAGE OCCUPANCY HIT OR MISS TRANSFORM
17th European Signa Processing Conference (EUSIPCO 2009) Gasgow, Scotand, August 24-28, 2009 THE PERCENTAGE OCCUPANCY HIT OR MISS TRANSFORM P. Murray 1, S. Marsha 1, and E.Buinger 2 1 Dept. of Eectronic
More informationNCH Software Express Delegate
NCH Software Express Deegate This user guide has been created for use with Express Deegate Version 4.xx NCH Software Technica Support If you have difficuties using Express Deegate pease read the appicabe
More informationCS 231. Inverse Kinematics Intro to Motion Capture. 3D characters. Representation. 1) Skeleton Origin (root) Joint centers/ bones lengths
CS Inverse Kinematics Intro to Motion Capture Representation D characters ) Skeeton Origin (root) Joint centers/ bones engths ) Keyframes Pos/Rot Root (x) Joint Anges (q) Kinematics study of static movement
More informationLayout Conscious Approach and Bus Architecture Synthesis for Hardware-Software Co-Design of Systems on Chip Optimized for Speed
Layout Conscious Approach and Bus Architecture Synthesis for Hardware-Software Co-Design of Systems on Chip Optimized for Speed Nattawut Thepayasuwan, Member, IEEE and Aex Doboi, Member, IEEE Abstract
More informationArithmetic Coding. Prof. Ja-Ling Wu. Department of Computer Science and Information Engineering National Taiwan University
Arithmetic Coding Prof. Ja-Ling Wu Department of Computer Science and Information Engineering Nationa Taiwan University F(X) Shannon-Fano-Eias Coding W..o.g. we can take X={,,,m}. Assume p()>0 for a. The
More informationNavigating and searching theweb
Navigating and searching theweb Contents Introduction 3 1 The Word Wide Web 3 2 Navigating the web 4 3 Hyperinks 5 4 Searching the web 7 5 Improving your searches 8 6 Activities 9 6.1 Navigating the web
More informationMCSE TestPrep SQL Server 6.5 Design & Implementation - 3- Data Definition
MCSE TestPrep SQL Server 6.5 Design & Impementation - Data Definition Page 1 of 38 [Figures are not incuded in this sampe chapter] MCSE TestPrep SQL Server 6.5 Design & Impementation - 3- Data Definition
More information3GPP TS V7.1.0 ( )
TS 29.199-7 V7.1.0 (2006-12) Technica Specification 3rd Generation Partnership Project; Technica Specification Group Core Network and Terminas; Open Service Access (OSA); Paray X Web Services; Part 7:
More informationThe Big Picture WELCOME TO ESIGNAL
2 The Big Picture HERE S SOME GOOD NEWS. You don t have to be a rocket scientist to harness the power of esigna. That s exciting because we re certain that most of you view your PC and esigna as toos for
More informationData Management Updates
Data Management Updates Jenny Darcy Data Management Aiance CRP Meeting, Thursday, November 1st, 2018 Presentation Objectives New staff Update on Ingres (JCCS) conversion project Fina IRB cosure at study
More informationindex.pdf March 17,
index.pdf March 17, 2013 1 ITI 1121. Introduction to omputing II Marce Turcotte Schoo of Eectrica Engineering and omputer Science Linked List (Part 2) Tai pointer ouby inked ist ummy node Version of March
More informationAN EVOLUTIONARY APPROACH TO OPTIMIZATION OF A LAYOUT CHART
13 AN EVOLUTIONARY APPROACH TO OPTIMIZATION OF A LAYOUT CHART Eva Vona University of Ostrava, 30th dubna st. 22, Ostrava, Czech Repubic e-mai: Eva.Vona@osu.cz Abstract: This artice presents the use of
More informationResponse Surface Model Updating for Nonlinear Structures
Response Surface Mode Updating for Noninear Structures Gonaz Shahidi a, Shamim Pakzad b a PhD Student, Department of Civi and Environmenta Engineering, Lehigh University, ATLSS Engineering Research Center,
More informationQuick Start Instructions
Eaton Power Xpert Gateway Minisot (PXGMS) UPS Card Quick Start Instructions Ethernet 10/100 Status DHCP EMP + - CMN 100 Act Ident Power PXGMS UPS Restart TX Setup RX Package Contents Power Xpert Gateway
More informationBottom-Up Parsing LR(1)
Bottom-Up Parsing LR(1) Previousy we have studied top-down or LL(1) parsing. The idea here was to start with the start symbo and keep expanding it unti the whoe input was read and matched. In bottom-up
More informationDistinct Sampling on Streaming Data with Near-Duplicates*
Distinct Samping on Streaming Data with Near-Dupicates* ABSTRACT Jiecao Chen Indiana University Boomington Boomington, IN, USA jiecchen@umai.iu.edu In this paper we study how to perform distinct samping
More informationAutomatic Grouping for Social Networks CS229 Project Report
Automatic Grouping for Socia Networks CS229 Project Report Xiaoying Tian Ya Le Yangru Fang Abstract Socia networking sites aow users to manuay categorize their friends, but it is aborious to construct
More informationFeedback-Free Packet Loss Recovery for Video Multicast
Feedback-Free Packet Loss Recovery or Video Muticast Xing Zheng S.-H. Gary Chan Qian Zhang Wen-Wu Zhu Ya-Qin Zhang Department o Computer Science Microsot Research Asia The Hong Kong University o Science
More informationComputers and processors
T224 Computers and processors Reference manua Author: Mirabee Waker This pubication forms part of an Open University course T224, Computers and Processors. Detais of this and other Open University courses
More informationHands-free system (for cellular phone)
Hands-free system (for ceuar phone) With navigation system Owners of modes equipped with a navigation system shoud refer to the Navigation System Owner s Manua. Without navigation system This system supports
More informationReal-Time Feature Descriptor Matching via a Multi-Resolution Exhaustive Search Method
297 Rea-Time Feature escriptor Matching via a Muti-Resoution Ehaustive Search Method Chi-Yi Tsai, An-Hung Tsao, and Chuan-Wei Wang epartment of Eectrica Engineering, Tamang University, New Taipei City,
More informationA Requirement Specification Language for Configuration Dynamics of Multiagent Systems
A Requirement Speciication Language or Coniguration Dynamics o Multiagent Systems Mehdi Dastani, Catholijn M. Jonker, Jan Treur* Vrije Universiteit Amsterdam, Department o Artiicial Intelligence, De Boelelaan
More informationForgot to compute the new centroids (-1); error in centroid computations (-1); incorrect clustering results (-2 points); more than 2 errors: 0 points.
Probem 1 a. K means is ony capabe of discovering shapes that are convex poygons [1] Cannot discover X shape because X is not convex. [1] DBSCAN can discover X shape. [1] b. K-means is prototype based and
More informationBridge Talk Release Notes for Meeting Exchange 5.0
Bridge Tak Reease Notes for Meeting Exchange 5.0 This document ists new product features, issues resoved since the previous reease, and current operationa issues. New Features This section provides a brief
More informationLEARNING causal structures is one of the main problems
cupc: CUDA-based Parae PC Agorithm for Causa Structure Learning on PU Behrooz Zare, Foad Jafarinejad, Matin Hashemi, and Saber Saehkaeybar arxiv:8.89v [cs.dc] Dec 8 Abstract The main goa in many fieds
More informationCSE120 Principles of Operating Systems. Prof Yuanyuan (YY) Zhou Lecture 4: Threads
CSE120 Principes of Operating Systems Prof Yuanyuan (YY) Zhou Lecture 4: Threads Announcement Project 0 Due Project 1 out Homework 1 due on Thursday Submit it to Gradescope onine 2 Processes Reca that
More informationGuardian 365 Pro App Guide. For more exciting new products please visit our website: Australia: OWNER S MANUAL
Guardian 365 Pro App Guide For more exciting new products pease visit our website: Austraia: www.uniden.com.au OWNER S MANUAL Privacy Protection Notice As the device user or data controer, you might coect
More informationIBC DOCUMENT PROG007. SA/STA SERIES User's Guide V7.0
IBC DOCUMENT SA/STA SERIES User's Guide V7.0 Page 2 New Features for Version 7.0 Mutipe Schedues This version of the SA/STA firmware supports mutipe schedues for empoyees. The mutipe schedues are impemented
More informationJoint disparity and motion eld estimation in. stereoscopic image sequences. Ioannis Patras, Nikos Alvertos and Georgios Tziritas y.
FORTH-ICS / TR-157 December 1995 Joint disparity and motion ed estimation in stereoscopic image sequences Ioannis Patras, Nikos Avertos and Georgios Tziritas y Abstract This work aims at determining four
More informationEvolutionary Multi-Objective Robust Optimization
3 Evoutionary Muti-Objective Robust Optimization J. Ferreira *, C. M. Fonseca **, J. A. Covas * and A. Gaspar-Cunha * * I3N, University o Minho, Guimarães, ** Centre or Inteigent Systems, University o
More informationA Robust Sign Language Recognition System with Sparsely Labeled Instances Using Wi-Fi Signals
A Robust Sign Language Recognition System with Sparsey Labeed Instances Using Wi-Fi Signas Jiacheng Shang, Jie Wu Center for Networked Computing Dept. of Computer and Info. Sciences Tempe University Motivation
More informationMulti-level Shape Recognition based on Wavelet-Transform. Modulus Maxima
uti-eve Shape Recognition based on Waveet-Transform oduus axima Faouzi Aaya Cheikh, Azhar Quddus and oncef Gabbouj Tampere University of Technoogy (TUT), Signa Processing aboratory, P.O. Box 553, FIN-33101
More informationMeeting Exchange 4.1 Service Pack 2 Release Notes for the S6200/S6800 Servers
Meeting Exchange 4.1 Service Pack 2 Reease Notes for the S6200/S6800 Servers The Meeting Exchange S6200/S6800 Media Servers are SIP-based voice and web conferencing soutions that extend Avaya s conferencing
More informationFuzzy Perceptual Watermarking For Ownership Verification
Fuzzy Perceptua Watermarking For Ownership Verification Mukesh Motwani 1 and Frederick C. Harris, Jr. 1 1 Computer Science & Engineering Department, University of Nevada, Reno, NV, USA Abstract - An adaptive
More informationCOS 318: Operating Systems. Virtual Memory Design Issues: Paging and Caching. Jaswinder Pal Singh Computer Science Department Princeton University
COS 318: Operating Systems Virtua Memory Design Issues: Paging and Caching Jaswinder Pa Singh Computer Science Department Princeton University (http://www.cs.princeton.edu/courses/cos318/) Virtua Memory:
More informationLoad Balancing by MPLS in Differentiated Services Networks
Load Baancing by MPLS in Differentiated Services Networks Riikka Susitaiva, Jorma Virtamo, and Samui Aato Networking Laboratory, Hesinki University of Technoogy P.O.Box 3000, FIN-02015 HUT, Finand {riikka.susitaiva,
More informationAgreeYa Solutions. Site Administrator for SharePoint User Guide
AgreeYa Soutions Site Administrator for SharePoint 5.2.4 User Guide 2017 2017 AgreeYa Soutions Inc. A rights reserved. This product is protected by U.S. and internationa copyright and inteectua property
More informationHour 3: The Network Access Layer Page 1 of 10. Discuss how TCP/IP s Network Access layer relates to the OSI networking model
Hour 3: The Network Access Layer Page 1 of 10 Hour 3: The Network Access Layer At the base of the TCP/IP protoco stack is the Network Access ayer, the coection of services and specifications that provide
More informationTopology-aware Key Management Schemes for Wireless Multicast
Topoogy-aware Key Management Schemes for Wireess Muticast Yan Sun, Wade Trappe,andK.J.RayLiu Department of Eectrica and Computer Engineering, University of Maryand, Coege Park Emai: ysun, kjriu@gue.umd.edu
More informationFACE RECOGNITION WITH HARMONIC DE-LIGHTING. s: {lyqing, sgshan, wgao}jdl.ac.cn
FACE RECOGNITION WITH HARMONIC DE-LIGHTING Laiyun Qing 1,, Shiguang Shan, Wen Gao 1, 1 Graduate Schoo, CAS, Beijing, China, 100080 ICT-ISVISION Joint R&D Laboratory for Face Recognition, CAS, Beijing,
More informationPortable Compiler Optimisation Across Embedded Programs and Microarchitectures using Machine Learning
Portabe Compier Optimisation Across Embedded Programs and Microarchitectures using Machine Learning Christophe Dubach, Timothy M. Jones, Edwin V. Bonia Members of HiPEAC Schoo of Informatics University
More informationNCH Software Spin 3D Mesh Converter
NCH Software Spin 3D Mesh Converter This user guide has been created for use with Spin 3D Mesh Converter Version 1.xx NCH Software Technica Support If you have difficuties using Spin 3D Mesh Converter
More informationAnalysis of Random. Processes via And-Or Tree Evaluation. Michael Mitzenmachert M. Amin Shokrollahiz
Anaysis of Random Processes via And-Or Tree Evauation Michae G. Luby* Michae Mitzenmachert M. Amin Shokroahiz Abstract distributions not considered by previous anayses. We introduce a new set of probabiistic
More informationComputer Networks. College of Computing. Copyleft 2003~2018
Computer Networks Computer Networks Prof. Lin Weiguo Coege of Computing Copyeft 2003~2018 inwei@cuc.edu.cn http://icourse.cuc.edu.cn/computernetworks/ http://tc.cuc.edu.cn Attention The materias beow are
More informationRealization of GGF DAIS Data Service Interface for Grid Access to Data Streams
Reaization of GGF DAIS Data Interface for Grid Access to Data Streams Ying Liu, Beth Pae, Nithya Vijayakumar Indiana University Boomington, IN IU-CS TR 613 ABSTRACT As the computation power of hardware
More informationType Assisted Synthesis of Programs with Algebraic Data Types
Type Assisted Synthesis of Programs with Algebraic Data Types Jeevana Priya Inala MIT Collaborators: Xiaokang Qiu (MIT), Ben Lerner (Brown), Armando Solar-Lezama (MIT) Example - Desugaring a simple language
More information