This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2008.3.24) 2 SEP 2008 14:02 entering extended mode **WORDS (./WORDS.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/sw/share/texmf-dist/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/sw/share/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2004/02/16 v1.4f Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/sw/share/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/sw/share/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) (/sw/share/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/sw/share/texmf-dist/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/sw/share/texmf-dist/tex/latex/graphics/graphics.cfg File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: emtex.def on input line 80. (/sw/share/texmf-dist/tex/latex/graphics/emtex.def File: emtex.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/sw/share/texmf-dist/tex/latex/lineno/lineno.sty Package: lineno 2005/01/10 line numbers on paragraphs v4.1c \linenopenalty=\count87 \output=\toks15 \linenoprevgraf=\count88 \linenumbersep=\dimen105 \linenumberwidth=\dimen106 \c@linenumber=\count89 \c@pagewiselinenumber=\count90 \n@LN@truepage=\count91 \c@linenumbermodulo=\count92 \c@internallinenumber=\count93 \c@internallinenumbers=\count94 \quotelinenumbersep=\dimen107 \bframerule=\dimen108 \bframesep=\dimen109 \bframebox=\box26 LaTeX Info: Redefining \\ on input line 2405. ) (/sw/share/texmf-dist/tex/latex/cite/cite.sty LaTeX Info: Redefining \cite on input line 149. LaTeX Info: Redefining \nocite on input line 214. Package: cite 2003/11/04 v 4.01 ) (/sw/share/texmf-dist/tex/latex/tools/varioref.sty Package: varioref 2004/02/27 v1.4i package for extended references (FMi) \c@vrcnt=\count95 ) (/sw/share/texmf-dist/tex/latex/base/makeidx.sty Package: makeidx 2000/03/29 v1.0m Standard LaTeX package ) (./boxedmin.sty) (/sw/share/texmf-dist/tex/latex/base/alltt.sty Package: alltt 1997/06/16 v2.0g defines alltt environment ) (/sw/share/texmf-dist/tex/latex/tools/array.sty Package: array 2003/12/17 v2.4a Tabular extension package (FMi) \col@sep=\dimen110 \extrarowheight=\dimen111 \NC@list=\toks16 \extratabsurround=\skip43 \backup@length=\skip44 ) (/sw/share/texmf-dist/tex/latex/fancyheadings/fancyheadings.sty \headrulewidth=\dimen112 \footrulewidth=\dimen113 \plainheadrulewidth=\dimen114 \plainfootrulewidth=\dimen115 \headwidth=\dimen116 \footruleskip=\dimen117 ) (/sw/share/texmf-dist/tex/latex/lastpage/lastpage.sty Package: lastpage 1994/06/25 v0.1b LaTeX2e package for refs to last page number (JPG) ) (/sw/share/texmf-dist/tex/generic/epsf/epsf.tex This is `epsf.tex' v2.7k <10 July 1997> \epsffilein=\read1 \epsfframemargin=\dimen118 \epsfframethickness=\dimen119 \epsfrsize=\dimen120 \epsftmp=\dimen121 \epsftsize=\dimen122 \epsfxsize=\dimen123 \epsfysize=\dimen124 \pspoints=\dimen125 \epsfnoopenhelp=\toks17 ) (/sw/share/texmf-dist/tex/latex/eepic/epic.sty Enhancements to Picture Environment. Version 1.2 - Released June 1, 1986 \@@multicnt=\count96 \d@lta=\count97 \@delta=\dimen126 \@@delta=\dimen127 \@gridcnt=\count98 \@joinkind=\count99 \@dotgap=\dimen128 \@ddotgap=\dimen129 \@x@diff=\count100 \@y@diff=\count101 \x@diff=\dimen130 \y@diff=\dimen131 \@dotbox=\box27 \num@segments=\count102 \num@segmentsi=\count103 \@datafile=\read2 ) (/sw/share/texmf-dist/tex/latex/eclbip/ecltree.sty ECL Tree graph macro by isozaki, Nov. 12, 1990 + 2e FIX \@BundleWidth=\dimen132 \@BundleDepth=\dimen133 \@BundleHeight=\dimen134 \@NodeBox=\box28 \GapDepth=\dimen135 \GapWidth=\dimen136 \EdgeLabelSep=\dimen137 ) (./standard) (./WORDS.aux) \openout1 = `WORDS.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 76. LaTeX Font Info: ... okay on input line 76. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 76. LaTeX Font Info: ... okay on input line 76. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 76. LaTeX Font Info: ... okay on input line 76. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 76. LaTeX Font Info: ... okay on input line 76. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 76. LaTeX Font Info: ... okay on input line 76. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 76. LaTeX Font Info: ... okay on input line 76. LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 78. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 78. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 78. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 78. LaTeX Font Info: Try loading font information for OMS+cmtt on input line 78. LaTeX Font Info: No file OMScmtt.fd. on input line 78. LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined (Font) using `OMS/cmsy/m/n' instead (Font) for symbol `textbraceleft' on input line 78. Underfull \hbox (badness 1253) in paragraph at lines 86--99 \OT1/cmr/m/n/10 Knowledge-level (\OT1/cmtt/m/n/10 KL\OT1/cmr/m/n/10 ) mod-el-in g can be char-ac- [] LaTeX Font Info: Try loading font information for OMS+cmr on input line 113. (/sw/share/texmf-dist/tex/latex/base/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 113. Underfull \vbox (badness 7047) has occurred while \output is active [] [1{/sw/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} ] LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 183. ! LaTeX Error: Unknown graphics extension: .pdf. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.197 \includegraphics{model.pdf} ? r OK, entering \nonstopmode... ! Undefined control sequence. l.208 \inclduegraphics {worlds} The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. [2] Underfull \hbox (badness 7308) in paragraph at lines 357--364 []\OT1/cmr/m/n/10 The op-po-site of set-covering di-ag-no-sis is [] [3] Underfull \hbox (badness 1215) in paragraph at lines 451--469 \OT1/cmtt/m/n/10 W[1].cover\OT1/cmr/m/n/10 =3=100% and \OT1/cmtt/m/n/10 W[2].co ver\OT1/cmr/m/n/10 =2=67%. [] [4] Underfull \hbox (badness 1033) in paragraph at lines 540--554 \OT1/cmtt/m/n/10 KL-A\OT1/cmr/m/n/10 ) and \OT1/cmtt/m/n/10 KL-B\OT1/cmr/m/n/10 , a \OT1/cmtt/m/n/10 KL\OT1/cmr/m/n/10 -modeling vari-ant which [] Underfull \hbox (badness 1264) in paragraph at lines 540--554 \OT1/cmr/m/n/10 ba-si-cally the same tech-nique; e.g. Clancey's [] Underfull \hbox (badness 1308) in paragraph at lines 540--554 \OT1/cmr/m/n/10 nents of ex-per-tise [58], Chan-drasekaran's task [] [5] ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.652 \includegraphics{rdr} Try typing to proceed. If that doesn't work, type X to quit. [6] [7] Underfull \vbox (badness 10000) has occurred while \output is active [] [8] ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.937 \includegraphics{ruleg.eps} Try typing to proceed. If that doesn't work, type X to quit. Underfull \hbox (badness 1062) in paragraph at lines 993--1009 \OT1/cmtt/m/n/10 Worlds,World,Proofs,Proof,Edge1,Edge2 \OT1/cmr/m/n/10 vari- [] [9] Underfull \hbox (badness 2096) in paragraph at lines 1072--1080 \OT1/cmr/m/n/10 in \OT1/cmtt/m/n/10 rdr11\OT1/cmr/m/n/10 . Fea-ture ex-trac-tor \OT1/cmtt/m/n/10 Function\OT1/cmr/m/n/10 s like [] Underfull \hbox (badness 10000) in paragraph at lines 1072--1080 \OT1/cmtt/m/n/10 seenBefore/2, timesSeen/2, fromDoctor/1, [] Underfull \hbox (badness 10000) in paragraph at lines 1084--1095 \OT1/cmr/m/n/10 This sec-tion de-scribes ripple-down-functions [] ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.1125 \includegraphics{rdf} Try typing to proceed. If that doesn't work, type X to quit. [10] Underfull \hbox (badness 1389) in paragraph at lines 1161--1167 \OT1/cmr/m/n/10 ven-tional knowl-edge en-gi-neer-ing method-olo-gies. [] Underfull \hbox (badness 1552) in paragraph at lines 1214--1227 \OT1/cmr/m/n/10 res-o-lu-tion in re-quire-ments anal-y-sis. Re-quire- [] [11] (./WORDS.bbl [12] [13] Underfull \hbox (badness 1142) in paragraph at lines 350--353 []\OT1/cmr/m/n/8 B.J. Wielinga, A.T. Schreiber, and J.A. Breuker. [] ) AED: lastpage setting LastPage [14 ] (./WORDS.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. ) Here is how much of TeX's memory you used: 1485 strings out of 94500 17433 string characters out of 1176114 72758 words of memory out of 1500000 4643 multiletter control sequences out of 10000+50000 11471 words of font info for 42 fonts, out of 1200000 for 2000 580 hyphenation exceptions out of 8191 31i,12n,24p,430b,343s stack positions out of 5000i,500n,6000p,200000b,5000s PDF statistics: 108 PDF objects out of 65536 0 named destinations out of 20000 1 words of extra memory for PDF output out of 65536 Output written on WORDS.pdf (14 pages, 242590 bytes).