This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdflatex 2007.5.18) 15 JAN 2013 05:12 entering extended mode Source specials enabled. %&-line parsing enabled. **sample.tex (./sample.tex LaTeX2e <2005/12/01> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, arabic, basque, bulgarian, coptic, welsh, czech, slovak, german, ng erman, danish, esperanto, spanish, catalan, galician, estonian, farsi, finnish, french, greek, monogreek, ancientgreek, croatian, hungarian, interlingua, ibyc us, indonesian, icelandic, italian, latin, mongolian, dutch, norsk, polish, por tuguese, pinyin, romanian, russian, slovenian, uppersorbian, serbian, swedish, turkish, ukenglish, ukrainian, loaded. (./sig-alternate.cls (/usr/local/texlive/2007/texmf-dist/tex/latex/graphics/epsfig.sty Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) (/usr/local/texlive/2007/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/local/texlive/2007/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) (/usr/local/texlive/2007/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR) (/usr/local/texlive/2007/texmf-dist/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/local/texlive/2007/texmf/tex/latex/config/graphics.cfg File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 90. (/usr/local/texlive/2007/texmf-dist/tex/latex/pdftex-def/pdftex.def File: pdftex.def 2007/01/08 v0.04d Graphics/color for pdfTeX \Gread@gobject=\count79 )) \Gin@req@height=\dimen102 \Gin@req@width=\dimen103 ) \epsfxsize=\dimen104 \epsfysize=\dimen105 ) (/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \@emptytoks=\toks15 \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. )) (/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip41 For additional information on amsmath, use the `?' option. (/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks16 \ex@=\dimen106 )) (/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen107 ) (/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count80 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count81 \leftroot@=\count82 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count83 \DOTSCASE@=\count84 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen108 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count85 \c@MaxMatrixCols=\count86 \dotsspace@=\muskip10 \c@parentequation=\count87 \dspbrk@lvl=\count88 \tag@help=\toks17 \row@=\count89 \column@=\count90 \maxfields@=\count91 \andhelp@=\toks18 \eqnshift@=\dimen109 \alignsep@=\dimen110 \tagshift@=\dimen111 \tagwidth@=\dimen112 \totwidth@=\dimen113 \lineht@=\dimen114 \@envbody=\toks19 \multlinegap=\skip42 \multlinetaggap=\skip43 \mathdisplay@stack=\toks20 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) Document Class 'sig-alternate' <23rd. May '12>. Modified by G.K.M. Tobin/Gerry Murray Based in part upon document Style `acmconf' <22 May 89>. Hacked 4/91 by shivers@cs.cmu.edu, 4/93 by theobald@cs.mcgill.ca Excerpts were taken from (Journal Style) 'esub2acm.cls'. ****** Bugs/comments/suggestions/technicalities to Gerry Murray -- murray@hq.ac m.org ****** Questions on the style, SIGS policies, etc. to Adrienne Griscti griscti@acm.org \footheight=\dimen115 \@maxsep=\dimen116 \@dblmaxsep=\dimen117 \aucount=\count92 \originalaucount=\count93 \auwidth=\dimen118 \auskip=\dimen119 \auskipcount=\count94 \auskip=\dimen120 \allauboxes=\dimen121 \addauthors=\toks21 \addauflag=\count95 \subtitletext=\toks22 \savesection=\count96 \sectioncntr=\count97 \c@figure=\count98 \c@table=\count99 \titleboxnotes=\toks23 \titleboxnoteflag=\count100 Document Class: sig-alternate 2012/05/23 - V2.5 - based on acmproc.cls V1.3 (/usr/local/texlive/2007/texmf-dist/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup6 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 47. ) \@acmtitlebox=\box28 \titlenotecount=\count101 \tntoks=\toks24 \tntokstwo=\toks25 \tntoksthree=\toks26 \tntoksfour=\toks27 \tntoksfive=\toks28 \catcount=\count102 \copyrightnotice=\toks29 \conf=\toks30 \confinfo=\toks31 \c@part=\count103 \c@section=\count104 \c@subsection=\count105 \c@subsubsection=\count106 \c@paragraph=\count107 Using 'Abbrev' bibliography style LaTeX Info: Redefining \cite on input line 1211. \bibindent=\dimen122 \colcntr=\count108 \saveb@x=\box29 \copyrtyr=\toks32 \acmcopyr=\toks33 \boilerplate=\toks34 \copyrightetc=\toks35 (/usr/local/texlive/2007/texmf-dist/tex/latex/base/fontenc.sty Package: fontenc 2005/09/27 v1.99g Standard LaTeX package (/usr/local/texlive/2007/texmf-dist/tex/latex/base/t1enc.def File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. ) LaTeX Font Info: Try loading font information for T1+aer on input line 100. (/usr/local/texlive/2007/texmf-dist/tex/latex/ae/t1aer.fd File: t1aer.fd 1997/11/16 Font definitions for T1/aer. ))) (/usr/local/texlive/2007/texmf-dist/tex/latex/psnfss/times.sty Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) ) (/usr/local/texlive/2007/texmf-dist/tex/latex/ltxmisc/url.sty \Urlmuskip=\muskip11 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ) (/usr/local/texlive/2007/texmf-dist/tex/latex/graphics/color.sty Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC) (/usr/local/texlive/2007/texmf/tex/latex/config/color.cfg File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive ) Package color Info: Driver file: pdftex.def on input line 130. ) (/usr/local/texlive/2007/texmf-dist/tex/latex/tools/xspace.sty Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH) ) (/usr/local/texlive/2007/texmf-dist/tex/latex/hyperref/hyperref.sty Package: hyperref 2007/02/07 v6.75r Hypertext links for LaTeX \@linkdim=\dimen123 \Hy@linkcounter=\count109 \Hy@pagecounter=\count110 (/usr/local/texlive/2007/texmf-dist/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2007/02/07 v6.75r Hyperref: PDFDocEncoding definition (HO) ) (/usr/local/texlive/2007/texmf/tex/latex/config/hyperref.cfg File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive ) (/usr/local/texlive/2007/texmf-dist/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2006/08/22 v2.4 Connects package keyval with LaTeX options ( HO) ) Package hyperref Info: Hyper figures OFF on input line 2288. Package hyperref Info: Link nesting OFF on input line 2293. Package hyperref Info: Hyper index ON on input line 2296. Package hyperref Info: Plain pages OFF on input line 2303. Package hyperref Info: Backreferencing OFF on input line 2308. Implicit mode ON; LaTeX internals redefined Package hyperref Info: Bookmarks ON on input line 2444. LaTeX Info: Redefining \url on input line 2599. \Fld@menulength=\count111 \Field@Width=\dimen124 \Fld@charsize=\dimen125 \Choice@toks=\toks36 \Field@toks=\toks37 Package hyperref Info: Hyper figures OFF on input line 3102. Package hyperref Info: Link nesting OFF on input line 3107. Package hyperref Info: Hyper index ON on input line 3110. Package hyperref Info: backreferencing OFF on input line 3117. Package hyperref Info: Link coloring OFF on input line 3122. Package hyperref Warning: Option `pdfpagelabels' is turned off (hyperref) because \thepage is undefined. \c@Item=\count112 \c@Hfootnote=\count113 ) *hyperref using driver hpdftex* (/usr/local/texlive/2007/texmf-dist/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2007/02/07 v6.75r Hyperref driver for pdfTeX \Fld@listcount=\count114 ) Package hyperref Info: Option `bookmarksnumbered' set `true' on input line 20. Package hyperref Info: Option `colorlinks' set `true' on input line 20. Package hyperref Info: Option `breaklinks' set `true' on input line 20. (./sample.aux) \openout1 = `sample.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 43. LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: Try loading font information for T1+ptm on input line 43. (/usr/local/texlive/2007/texmf-dist/tex/latex/psnfss/t1ptm.fd File: t1ptm.fd 2001/06/04 font definitions for T1/ptm. ) (/usr/local/texlive/2007/texmf-dist/tex/context/base/supp-pdf.tex [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count115 \scratchdimen=\dimen126 \scratchbox=\box30 \nofMPsegments=\count116 \nofMParguments=\count117 \MPscratchCnt=\count118 \MPscratchDim=\dimen127 \MPnumerator=\count119 \everyMPtoPDFconversion=\toks38 ) Package hyperref Info: Link coloring ON on input line 43. (/usr/local/texlive/2007/texmf-dist/tex/latex/hyperref/nameref.sty Package: nameref 2006/12/27 v2.28 Cross-referencing by name of section (/usr/local/texlive/2007/texmf-dist/tex/latex/oberdiek/refcount.sty Package: refcount 2006/02/20 v3.0 Data extraction from references (HO) ) \c@section@level=\count120 ) LaTeX Info: Redefining \ref on input line 43. LaTeX Info: Redefining \pageref on input line 43. (./sample.out) (./sample.out) \@outlinefile=\write3 \openout3 = `sample.out'. LaTeX Font Info: Try loading font information for U+msa on input line 74. (/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 74. (/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+lasy on input line 74. (/usr/local/texlive/2007/texmf-dist/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) Overfull \hbox (1.91823pt too wide) in paragraph at lines 133--135 [][]\T1/ptm/m/n/9 People-driven Web tech-nolo-gies, in-clud-ing crowd-sourcing, open [] (./crowd-sourcing.tex LaTeX Font Info: Try loading font information for T1+pcr on input line 17. (/usr/local/texlive/2007/texmf-dist/tex/latex/psnfss/t1pcr.fd File: t1pcr.fd 2001/06/04 font definitions for T1/pcr. ) Overfull \hbox (8.39972pt too wide) in paragraph at lines 47--47 []\T1/pcr/m/n/9 4. Less Competition (to support brainstorming)[] [] Overfull \hbox (46.19968pt too wide) in paragraph at lines 47--47 []\T1/pcr/m/n/9 Ahmed proposes a good way to deal with implied games.[] [] Overfull \hbox (24.5997pt too wide) in paragraph at lines 47--47 []\T1/pcr/m/n/9 What is the difference between lab decompositions[] [] Overfull \hbox (40.79968pt too wide) in paragraph at lines 47--47 []\T1/pcr/m/n/9 Karl works out three examples of lab decompositions.[] [] Overfull \hbox (1.80057pt too wide) in paragraph at lines 55--57 [][]\T1/ptm/m/n/9 examples: see knowl-edge base of claims and his-tory of claim s [] [1{/usr/local/texlive/2007/texmf-var/fonts/map/pdftex/updmap/pdftex.map} Non-PDF special ignored! ]) (./pattern-applications.tex Overfull \hbox (154.71721pt too wide) in paragraph at lines 22--24 [][]\T1/ptm/m/n/9 intrinsically mo-ti-vat-ing in-struc-tion by Tom Mal-one http ://mailer.fsu.edu/ jkeller/EDP5217/Library/Curiosity [] Overfull \hbox (3.40477pt too wide) in paragraph at lines 26--26 []\secfnt POSITIVE TER-MI-NOL-OGY AP-PROACH [] Overfull \hbox (2.98836pt too wide) in paragraph at lines 45--48 [][]\T1/ptm/m/n/9 Protocol with refu-ta-tion pred-i-cate (P,O,predicate) (O,P,! predicate) [] [2]) (./learning.tex Overfull \hbox (23.62318pt too wide) in paragraph at lines 1--1 []\secfnt LESS COM-PET-I-TIVE PAY-OFF FOR LEARN- [] File: for-paper2.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 6--7 [][] [] LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <9> not available (Font) Font shape `T1/ptm/b/n' tried instead on input line 7. File: SCGStructure.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 14--15 [][] [] File: SCG-CSP.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 22--23 [][] [] File: SCG-CSP-Learning.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 30--31 [][] [] File: blame-payoff-opt.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 39--40 [][] [] File: GameTreeTable.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 47--48 [][] [] File: GameTreeTableOpt.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 55--56 [][] [] File: SCG-CSP-FSC-OPT.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 63--64 [][] [] File: WS13-figures-agree.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 71--72 [][] [] File: WS13-Opt-justification.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 79--80 [][] [] File: WS13-all-blame.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 87--88 [][] [] File: WS13-GTTOpt-master.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 95--96 [][] [] LaTeX Warning: Citation `1' on page 3 undefined on input line 101. Overfull \hbox (6.33698pt too wide) in paragraph at lines 103--105 [][]\T1/ptm/m/n/9 refute()? (pdsp,odsp):(parp,oarp) agree()? (paso,oaso):(pdro, odro) [] [3] [4 <./for-paper2.jpg> <./SCGStructure.jpg> <./SCG-CSP.jpg> <./SCG-CSP-Learn ing.jpg>] [5 <./blame-payoff-opt.jpg> <./GameTreeTable.jpg> <./GameTreeTableOpt .jpg> <./SCG-CSP-FSC-OPT.jpg>] Underfull \vbox (badness 1642) has occurred while \output is active [] Underfull \vbox (badness 1642) has occurred while \output is active [] [6 <./WS13-figures-agree.jpg> <./WS13-Opt-justification.jpg> <./WS13-all-blame .jpg> <./WS13-GTTOpt-master.jpg>]) (./problem-solving.tex Overfull \hbox (2.09683pt too wide) in paragraph at lines 30--37 [][]\T1/ptm/m/n/9 Incremental ap-proach A suc-cess-ful refu-ta-tion of claim c is viewed [] ) (./convergence.tex) (./accidental-refutation.tex) (./rules.tex Overfull \hbox (51.11076pt too wide) in paragraph at lines 3--4 [][]\T1/ptm/m/n/9 http://www.ccs.neu.edu/home/lieber/evergreen/specker/SCG-Teac h/teach.html [] Overfull \hbox (1.50856pt too wide) in paragraph at lines 5--5 []\secfnt RULES FOR REP-U-TA-TION COM-PU-TA- [] [7]) (./example.tex Overfull \hbox (121.79959pt too wide) in paragraph at lines 48--48 [][]\T1/pcr/m/n/9 the number of iterations of the while loop for preference p / n^2,[] [] Overfull \hbox (3.2593pt too wide) in paragraph at lines 50--52 [][]\T1/ptm/m/n/9 where n is the num-ber of men = num-ber of women. Gale-Shaple y- [] Overfull \hbox (57.30424pt too wide) in paragraph at lines 55--59 [][]\T1/ptm/m/n/9 "n":3, "man-Pref" : [[2,1,0],[1,0,2],[0,1,2]], "wom-an-Pref : [[2,1,0],[1,3,2],[3,1,2]] [] Underfull \hbox (badness 10000) in paragraph at lines 55--59 [] Overfull \hbox (95.99286pt too wide) in paragraph at lines 62--63 [][]\T1/ptm/m/n/9 http://www.ccs.neu.edu/home/lieber/courses/algorithms/cs4800/ sp12/lectures/GaleShapley [] Overfull \hbox (2.07176pt too wide) in paragraph at lines 101--103 [][]\T1/ptm/m/n/9 Landau(Name, NOT, M(k,q), O(exp)) mean-ing M(k,q) !in O(exp) [] [8]) (./related.tex Overfull \hbox (2.99747pt too wide) in paragraph at lines 16--17 \T1/ptm/m/n/9 puter gen-er-ated sim-u-la-tions of his-tor-i-cal events, ex-plor -ing and learn- [] Overfull \hbox (154.71721pt too wide) in paragraph at lines 25--27 [][]\T1/ptm/m/n/9 intrinsically mo-ti-vat-ing in-struc-tion by Tom Mal-one http ://mailer.fsu.edu/ jkeller/EDP5217/Library/Curiosity [] Overfull \hbox (7.05719pt too wide) in paragraph at lines 98--104 [][]\T1/ptm/m/n/9 Logical Games [[][]17[][]], [[][]9[][]] have a long his-tory go-ing back to Socrates. [] Overfull \hbox (2.05243pt too wide) in paragraph at lines 121--132 \T1/ptm/m/n/9 re-quires care-ful and time-consuming bal-anc-ing. [[][]10[][]] d e-scribes tech- [] Overfull \hbox (12.4194pt too wide) in paragraph at lines 135--141 \T1/ptm/m/n/9 http://www.coaste.org/. A socio-technical ecosys-tem sup-ports st raight- [] [9] Overfull \hbox (1.21544pt too wide) in paragraph at lines 237--241 \T1/ptm/m/n/9 en-tific Method into the cy-ber-in-fras-truc-ture and make it wid ely avail- [] ) (./sample.bbl [10]) [11 ] (./sample.aux) ) Here is how much of TeX's memory you used: 4398 strings out of 94073 58906 string characters out of 1162984 118136 words of memory out of 1500000 7471 multiletter control sequences out of 10000+50000 50604 words of font info for 62 fonts, out of 1200000 for 2000 645 hyphenation exceptions out of 8191 39i,11n,39p,1120b,401s stack positions out of 5000i,500n,6000p,200000b,5000s {/usr/local/texlive/2007/texmf-dist/fonts/enc/dvips/base/8r.e nc} Output written on sample.pdf (11 pages, 1045659 bytes). PDF statistics: 421 PDF objects out of 1000 (max. 8388607) 101 named destinations out of 1000 (max. 131072) 461 words of extra memory for PDF output out of 10000 (max. 10000000)