# Camera camera = Camera.open(); Camera camera - - PowerPoint PPT Presentation

▶
camera camera camera open camera camera camera open
SMART_READER_LITE
LIVE PREVIEW

# Camera camera = Camera.open(); Camera camera - - PowerPoint PPT Presentation

Dec 27, 2022 870 likes •1.34k views

# Camera camera = Camera.open(); Camera camera = Camera.open(); camera.setDisplayOrientation(90); camera.setDisplayOrientation(90); camera.unlock(); SurfaceHolder holder = getHolder();

slide-1
SLIDE 1
slide-2
SLIDE 2

#

slide-3
SLIDE 3
slide-4
SLIDE 4
slide-5
SLIDE 5
slide-6
SLIDE 6
slide-7
SLIDE 7

∈

slide-8
SLIDE 8

camera.unlock(); SurfaceHolder holder = getHolder(); holder.addCallback(this); holder.setType(SurfaceHolder.STP); MediaRecorder r = new MediaRecorder(); r.setCamera(camera); r.setAudioSource(MediaRecorder.AS); r.setVideoSource(MediaRecorder.VS); r.setOutFormat(MediaRecorder.MPEG4); Camera camera = Camera.open(); camera.setDisplayOrientation(90); Camera camera = Camera.open(); camera.setDisplayOrientation(90);

slide-9
SLIDE 9
slide-10
SLIDE 10

Console.WriteLine("Hi") … System.out.println("Hi"); …

C# Java

slide-11
SLIDE 11

function FZ(e, t) { var n = []; var r = e.length; var i = 0; for (; i < r; i += t) if (i + t < r) n.push(e.substring(i, i + t)); else n.push(e.substring(i, r)); return n; } function chunkData(str, step) { var colNames = []; var len = str.length; var i = 0; for (; i < len; i += step) if (i + step < len) colNames.push(str.substring(i, i + step)); else colNames.push(str.substring(i, len)); return colNames; }

slide-12
SLIDE 12

  

slide-13
SLIDE 13

JSNice: over a year of usage

May 2015 – May 2016

slide-14
SLIDE 14

function chunkData(str, step) var colNames = []; var len = str.length; var i = 0; for (; i < len; i += step) if (i + step < len) colNames.push(str.substring(i, i + step)); else colNames.push(str.substring(i, len)); return colNames; function chunkData(e, t) var n = []; var r = e.length; var i = 0; for (; i < r; i += t) if (i + t < r) n.push(e.substring(i, i + t)); else n.push(e.substring(i, r)); return n;

slide-15
SLIDE 15
slide-16
SLIDE 16

function chunkData(e, t) var n = []; var r = e.length; var i = 0; for (; i < r; i += t) if (i + t < r) n.push(e.substring(i, i + t)); else n.push(e.substring(i, r)); return n;

slide-17
SLIDE 17

function chunkData(e, t) var n = []; var r = e.length; var i = 0; for (; i < r; i += t) if (i + t < r) n.push(e.substring(i, i + t)); else n.push(e.substring(i, r)); return n;

t r i

length

i t r

length

… …

slide-18
SLIDE 18

t r i

length

i t r

length

i t w i step 0.5 j step 0.4 i r w i len 0.6 i length 0.3 r length w length length 0.5 len length 0.3

… … i t r

length function chunkData(e, t) var n = []; var r = e.length; var i = 0; for (; i < r; i += t) if (i + t < r) n.push(e.substring(i, i + t)); else n.push(e.substring(i, r)); return n;

slide-19
SLIDE 19

t r i

length

i t r

length

i t w i step 0.5 j step 0.4 i r w i len 0.6 i length 0.3 r length w length length 0.5 len length 0.3

… … i t r

length

𝒙𝑈𝒈(𝑗, 𝑢, 𝑠, 𝑚𝑓𝑜𝑕𝑢ℎ)

function chunkData(e, t) var n = []; var r = e.length; var i = 0; for (; i < r; i += t) if (i + t < r) n.push(e.substring(i, i + t)); else n.push(e.substring(i, r)); return n;

slide-20
SLIDE 20

t r i

length

i t r

length

i t w i step 0.5 j step 0.4 i r w i len 0.6 i length 0.3 r length w length length 0.5 len length 0.3

… … i t r

length

i len step

𝒙𝑈𝒈(𝑗, 𝑢, 𝑠, 𝑚𝑓𝑜𝑕𝑢ℎ)

function chunkData(e, t) var n = []; var r = e.length; var i = 0; for (; i < r; i += t) if (i + t < r) n.push(e.substring(i, i + t)); else n.push(e.substring(i, r)); return n;

slide-21
SLIDE 21

t r i

length

i t r

length

i t w i step 0.5 j step 0.4 i r w i len 0.6 i length 0.3 r length w length length 0.5 len length 0.3

… …

function chunkData(str, step) var colNames = []; var len = str.length; var i = 0; for (; i < len; i += step) if (i + step < len) colNames.push(str.substring(i, i + step)); else colNames.push(str.substring(i, len)); return colNames;

i t r

length

i len step

𝒙𝑈𝒈(𝑗, 𝑢, 𝑠, 𝑚𝑓𝑜𝑕𝑢ℎ)

function chunkData(e, t) var n = []; var r = e.length; var i = 0; for (; i < r; i += t) if (i + t < r) n.push(e.substring(i, i + t)); else n.push(e.substring(i, r)); return n;

slide-22
SLIDE 22

∀j ∀y Σ 𝑥ifi(x(j),y(j)) ≥ Σ 𝑥ifi(x(j),y) + 𝚬(y,y(j))

𝒙𝑈

𝑎(𝑦)

𝑄 𝑧 𝑦 =

1 𝑎(𝑦) exp(𝒙𝑈𝒈(𝑧, 𝑦))

slide-23
SLIDE 23

…

var n = []; var r = e.length; var i = 0; for (; i < r; i += t) if (i + t < r) n.push(e.subs(i, i + t)); else n.push(e.subs(i, r)); return n; var colNames = []; var len = str.length; var i = 0; for (; i < len; i += step) if (i + step < len) colNames.push(str.subs(i, i + step)); else colNames.push(str.subs(i, len)); return colNames;

150MB

𝑄 𝑧 𝑦

slide-24
SLIDE 24

package a.b.c class a extends SQLiteHelper { SQLiteDatabase b; public a(Context ctx) { b = getWritableDatabase(); } Cursor c(String str) { return b.rawQuery(str); }} package com.example.dbhelper class DBHelper extends SQLiteHelper { SQLiteDatabase db; public DBHelper(Context ctx) { db = getWritableDatabase(); } Cursor execSQL(String str) { return db.rawQuery(str); } }

slide-25
SLIDE 25
slide-26
SLIDE 26

Fundamental Problem

slide-27
SLIDE 27

f.open(“file” | “r”);

  • f. ?

D

f.open(“f2” | “r”); f.read(); f.open(“f1” | “r”); f.read(); f.open(“f2” | “w”); f.write(“c”);

slide-28
SLIDE 28

f.open(“file” | “r”);

  • f. ?

P(open | f. ) ~ 3/6 P(read | f. ) ~ 2/6 P(write | f. ) ~ 1/6

𝜹

f.open(“f2” | “r”); f.read();

D

f.open(“f1” | “r”); f.read(); f.open(“f2” | “w”); f.write(“c”);

slide-29
SLIDE 29

f.open(“file” | “r”);

  • f. open

P(open | f. ) ~ 3/6 P(read | f. ) ~ 2/6 P(write | f. ) ~ 1/6

𝜹

f.open(“f2” | “r”); f.read();

D

f.open(“f1” | “r”); f.read(); f.open(“f2” | “w”); f.write(“c”);

slide-30
SLIDE 30

f.open(“file” | “r”);

  • f. ?

P(read | open ) ~ 2/3 P(write | open ) ~ 1/3

𝜹

P(open | f. ) ~ 3/6 P(read | f. ) ~ 2/6 P(write | f. ) ~ 1/6

𝜹

D

f.open(“f2” | “r”); f.read(); f.open(“f1” | “r”); f.read(); f.open(“f2” | “w”); f.write(“c”);

slide-31
SLIDE 31

f.open(“file” | “r”);

  • f. read

P(read | open ) ~ 2/3 P(write | open ) ~ 1/3

𝜹

P(open | f. ) ~ 3/6 P(read | f. ) ~ 2/6 P(write | f. ) ~ 1/6

𝜹

D

f.open(“f2” | “r”); f.read(); f.open(“f1” | “r”); f.read(); f.open(“f2” | “w”); f.write(“c”);

slide-32
SLIDE 32

f.open(“file” | “r”);

  • f. ?

P(read | open ) ~ 2/3 P(write | open ) ~ 1/3

𝜹

P(open | f. ) ~ 3/6 P(read | f. ) ~ 2/6 P(write | f. ) ~ 1/6

𝜹

D

f.open(“f2” | “r”); f.read(); f.open(“f1” | “r”); f.read(); f.open(“f2” | “w”); f.write(“c”);

slide-33
SLIDE 33
slide-34
SLIDE 34

key idea: synthesize a function f:

→ 𝜹

slide-35
SLIDE 35

（ ）

fbest

fbest ∊ D fbest

fbest = argmin cost(D, f)

f ∊

𝜹

slide-36
SLIDE 36

elem.notify({ position: ‘top’, autoHide: false, delay: 100 });

Identifier elem Property notify Property position Property autoHide MemberExpression ObjectExpression CallExpression Property delay String ‘top’ Boolean false

slide-37
SLIDE 37

TCond ::= 𝜁 | WriteOp TCond | MoveOp TCond MoveOp ::= Up, Left, Right, DownFirst, DownLast, NextDFS, PrevDFS, NextLeaf, PrevLeaf,PrevNodeType, PrevNodeValue, PrevNodeContext WriteOp ::= WriteValue, WriteType, WritePos

Up Left WriteValue

𝜹 ← 𝜹 ∙

slide-38
SLIDE 38

fbest

fbest = argmin cost(D, f) f ∊

slide-39
SLIDE 39

fbest = argmin cost(D, f) f ∊

TCond ::= 𝜁 | WriteOp TCond | MoveOp TCond MoveOp ::= Up, Left, Right, ... WriteOp ::= WriteValue, WriteType, ...

P D

≈ 108

f cost(D, f) = (P)

D f P(element | f ( ))

𝑃( 𝐸 )

fbest

slide-40
SLIDE 40

elem.notify( ... , ... , { position: ‘top’, hide: false, ? } );

fbest to predict

Left WriteValue Up WritePos Up DownFirst DownLast WriteValue {} {hide} {hide} {hide, 3} {hide, 3} {hide, 3} {hide, 3} {hide, 3, notify} program

fbest

𝜹

slide-41
SLIDE 41

22.2% 30.4% 66.6%

D: fbest

slide-42
SLIDE 42

D: fbest

Hutter Prize Wikipedia Dataset uses a char-level DSL with state

1.62 1.67 51% 1.60 51% 1.44 51% 1.40 1.94

:

slide-43
SLIDE 43

function isBig(v) { return v < this.length } [12, 5].filter(isBig); VarPtsTo(“global”, h) checkIfInsideMethodCall checkMethodCallName checkReceiverType checkNumberOfArguments ... VarPtsTo(this, h)

slide-44
SLIDE 44
slide-45
SLIDE 45

∈

（ ） fbest

fbest ∊ fbest

TCond ::= 𝜁 | WriteOp TCond | MoveOp TCond MoveOp ::= Up, Left, Right, DownFirst, DownLast, NextDFS, PrevDFS, NextLeaf, PrevLeaf, PrevNodeType, PrevNodeValue, WriteOp ::= WriteValue, WriteType, WritePos

fbest = argmin cost(D, f) f ∊ 𝜹