1 This is e-TeX, Version 3.14159-2.1 (Web2C 7.4.5) (format=latex 2005.7.20) 12 OCT 2005 13:40
6 Babel <v3.7h> and hyphenation patterns for american, french, ngerman, italian,
9 Document Class: llncs 2002/01/28 v2.13
10 LaTeX document class for Lecture Notes in Computer Science
11 (/usr/share/texmf/tex/latex/base/article.cls
12 Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
13 (/usr/share/texmf/tex/latex/base/size10.clo
14 File: size10.clo 2001/04/21 v1.4e Standard LaTeX file (size option)
18 \c@subsection=\count81
19 \c@subsubsection=\count82
21 \c@subparagraph=\count84
24 \abovecaptionskip=\skip41
25 \belowcaptionskip=\skip42
28 (/usr/share/texmf/tex/latex/tools/multicol.sty
29 Package: multicol 2000/07/10 v1.5z multicolumn formatting (FMi)
30 \c@tracingmulticols=\count87
32 \multicol@leftmargin=\dimen103
34 \c@collectmore=\count89
35 \doublecol@number=\count90
36 \multicoltolerance=\count91
37 \multicolpretolerance=\count92
40 \premulticols=\dimen106
41 \postmulticols=\dimen107
43 \multicolbaselineskip=\skip44
47 \mult@grightbox=\box30
48 \mult@gfirstbox=\box31
67 \c@columnbadness=\count93
68 \c@finalcolumnbadness=\count94
70 \multicolovershoot=\dimen109
71 \multicolundershoot=\dimen110
72 \mult@nat@firstbox=\box50
76 LaTeX Font Info: Redeclaring math symbol \Gamma on input line 360.
77 LaTeX Font Info: Redeclaring math symbol \Delta on input line 361.
78 LaTeX Font Info: Redeclaring math symbol \Theta on input line 362.
79 LaTeX Font Info: Redeclaring math symbol \Lambda on input line 363.
80 LaTeX Font Info: Redeclaring math symbol \Xi on input line 364.
81 LaTeX Font Info: Redeclaring math symbol \Pi on input line 365.
82 LaTeX Font Info: Redeclaring math symbol \Sigma on input line 366.
83 LaTeX Font Info: Redeclaring math symbol \Upsilon on input line 367.
84 LaTeX Font Info: Redeclaring math symbol \Phi on input line 368.
85 LaTeX Font Info: Redeclaring math symbol \Psi on input line 369.
86 LaTeX Font Info: Redeclaring math symbol \Omega on input line 370.
89 \tocsectotal=\dimen113
90 \tocsubsecnum=\dimen114
91 \tocsubsectotal=\dimen115
92 \tocsubsubsecnum=\dimen116
93 \tocsubsubsectotal=\dimen117
95 \tocparatotal=\dimen119
96 \tocsubparanum=\dimen120
102 \instindent=\dimen122
104 \authorrunning=\toks14
107 \titlerunning=\toks16
111 \c@conjecture=\count102
112 \c@corollary=\count103
113 \c@definition=\count104
115 \c@exercise=\count106
119 \c@property=\count110
120 \c@proposition=\count111
121 \c@question=\count112
122 \c@solution=\count113
124 \headlineindent=\dimen123
126 (/usr/share/texmf/tex/latex/graphics/graphicx.sty
127 Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
129 (/usr/share/texmf/tex/latex/graphics/keyval.sty
130 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
133 (/usr/share/texmf/tex/latex/graphics/graphics.sty
134 Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)
136 (/usr/share/texmf/tex/latex/graphics/trig.sty
137 Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
139 (/usr/share/texmf/tex/latex/config/graphics.cfg
140 File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive
142 Package graphics Info: Driver file: dvips.def on input line 80.
144 (/usr/share/texmf/tex/latex/graphics/dvips.def
145 File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
147 \Gin@req@height=\dimen124
148 \Gin@req@width=\dimen125
150 (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty
151 Package: amssymb 2002/01/22 v2.2d
153 (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty
154 Package: amsfonts 2001/10/25 v2.2f
158 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
159 (Font) U/euf/m/n --> U/euf/b/n on input line 132.
161 (/usr/share/texmf/tex/latex/amsmath/amsmath.sty
162 Package: amsmath 2000/07/18 v2.13 AMS math features
165 For additional information on amsmath, use the `?' option.
166 (/usr/share/texmf/tex/latex/amsmath/amstext.sty
167 Package: amstext 2000/06/29 v2.01
169 (/usr/share/texmf/tex/latex/amsmath/amsgen.sty
170 File: amsgen.sty 1999/11/30 v2.0
174 (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty
175 Package: amsbsy 1999/11/29 v1.2d
178 (/usr/share/texmf/tex/latex/amsmath/amsopn.sty
179 Package: amsopn 1999/12/14 v2.01 operator names
182 LaTeX Info: Redefining \frac on input line 211.
185 LaTeX Info: Redefining \overline on input line 307.
188 LaTeX Info: Redefining \ldots on input line 379.
189 LaTeX Info: Redefining \dots on input line 382.
190 LaTeX Info: Redefining \cdots on input line 467.
191 \Mathstrutbox@=\box54
194 LaTeX Font Info: Redeclaring font encoding OML on input line 567.
195 LaTeX Font Info: Redeclaring font encoding OMS on input line 568.
198 Package amsmath Warning: Unable to redefine math accent \vec.
200 \macc@depth=\count120
201 \c@MaxMatrixCols=\count121
202 \dotsspace@=\muskip10
203 \c@parentequation=\count122
204 \dspbrk@lvl=\count123
208 \maxfields@=\count126
218 \multlinetaggap=\skip47
219 \mathdisplay@stack=\toks24
220 LaTeX Info: Redefining \[ on input line 2666.
221 LaTeX Info: Redefining \] on input line 2667.
222 ) (/usr/share/texmf/tex/latex/hyperref/hyperref.sty
223 Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX
225 \Hy@linkcounter=\count127
226 \Hy@pagecounter=\count128
228 (/usr/share/texmf/tex/latex/hyperref/pd1enc.def
229 File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO)
231 (/usr/share/texmf/tex/latex/config/hyperref.cfg
232 File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
234 Package hyperref Info: Hyper figures OFF on input line 1792.
235 Package hyperref Info: Link nesting OFF on input line 1797.
236 Package hyperref Info: Hyper index ON on input line 1800.
237 Package hyperref Info: Plain pages ON on input line 1805.
238 Package hyperref Info: Backreferencing OFF on input line 1812.
240 Implicit mode ON; LaTeX internals redefined
241 Package hyperref Info: Bookmarks ON on input line 1916.
242 (/usr/share/texmf/tex/latex/misc/url.sty
244 Package: url 1999/03/28 ver 1.5x Verb mode for urls, etc.
246 LaTeX Info: Redefining \url on input line 2055.
247 \Fld@menulength=\count129
248 \Field@Width=\dimen136
249 \Fld@charsize=\dimen137
252 Package hyperref Info: Hyper figures OFF on input line 2513.
253 Package hyperref Info: Link nesting OFF on input line 2518.
254 Package hyperref Info: Hyper index ON on input line 2521.
255 Package hyperref Info: backreferencing OFF on input line 2528.
256 Package hyperref Info: Link coloring OFF on input line 2533.
258 \c@Hfootnote=\count131
260 *hyperref using default driver hdvips*
261 (/usr/share/texmf/tex/latex/hyperref/hdvips.def
262 File: hdvips.def 2003/01/22 v6.73n Hyperref driver for dvips
264 (/usr/share/texmf/tex/latex/hyperref/pdfmark.def
265 File: pdfmark.def 2003/01/22 v6.73n Hyperref definitions for pdfmark specials
269 \pdf@defaulttoks=\toks29
270 \Fld@listcount=\count132
271 \@outlinefile=\write3
273 (/usr/share/texmf/tex/latex/misc/picins.sty
274 Option `picins' Version 3.0 Sep. 1992, TH Darmstadt/HRZ
284 \d@pichskip=\dimen145
299 \@changemode=\count142
300 \c@piccaption=\count143
301 \c@piccaptionpos=\count144
319 \openout1 = `moogle.aux'.
321 LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 41.
322 LaTeX Font Info: ... okay on input line 41.
323 LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 41.
324 LaTeX Font Info: ... okay on input line 41.
325 LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 41.
326 LaTeX Font Info: ... okay on input line 41.
327 LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 41.
328 LaTeX Font Info: ... okay on input line 41.
329 LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 41.
330 LaTeX Font Info: ... okay on input line 41.
331 LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 41.
332 LaTeX Font Info: ... okay on input line 41.
333 LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 41.
334 LaTeX Font Info: ... okay on input line 41.
335 Package hyperref Info: Link coloring OFF on input line 41.
337 (/usr/share/texmf/tex/latex/hyperref/nameref.sty
338 Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section
339 \c@section@level=\count155
341 LaTeX Info: Redefining \ref on input line 41.
342 LaTeX Info: Redefining \pageref on input line 41.
343 (./moogle.out) (./moogle.out)
344 \openout3 = `moogle.out'.
346 LaTeX Font Info: Try loading font information for U+msa on input line 43.
347 (/usr/share/texmf/tex/latex/amsfonts/umsa.fd
348 File: umsa.fd 2002/01/19 v2.2g AMS font definitions
350 LaTeX Font Info: Try loading font information for U+msb on input line 43.
352 (/usr/share/texmf/tex/latex/amsfonts/umsb.fd
353 File: umsb.fd 2002/01/19 v2.2g AMS font definitions
356 Package hyperref Warning: bookmark level for unknown title defaults to 0.
359 Package hyperref Warning: bookmark level for unknown author defaults to 0.
362 Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
363 (hyperref) removing `\unskip' on input line 43.
366 Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
367 (hyperref) removing `\ignorespaces' on input line 43.
372 File: engine_new.eps Graphic file (type eps)
374 File: disambiguation-1.eps Graphic file (type eps)
375 <disambiguation-1.eps> [4] [5]
377 LaTeX Font Warning: Font shape `OT1/cmr/bx/sc' undefined
378 (Font) using `OT1/cmr/bx/n' instead on input line 445.
381 File: match_sin.eps Graphic file (type eps)
382 <match_sin.eps> [8] [9] [10] [11]
383 File: architecture_new.eps Graphic file (type eps)
384 <architecture_new.eps> [12] [13]
386 Underfull \hbox (badness 3138) in paragraph at lines 939--943
387 []\OT1/cmr/m/n/9 G. Bancerek, P. Rud-nicki. \OT1/cmr/m/it/9 In-for-ma-tion Re-t
388 rieval in MML\OT1/cmr/m/n/9 . In A.Asperti,
391 [15] [16] (./moogle.aux)
393 LaTeX Font Warning: Some font shapes were not available, defaults substituted.
396 Here is how much of TeX's memory you used:
397 3548 strings out of 95735
398 43764 string characters out of 1194528
399 113902 words of memory out of 1000001
400 6511 multiletter control sequences out of 10000+50000
401 12951 words of font info for 49 fonts, out of 500000 for 1000
402 14 hyphenation exceptions out of 1000
403 29i,9n,32p,223b,357s stack positions out of 1500i,500n,5000p,200000b,5000s
405 Output written on moogle.dvi (16 pages, 91640 bytes).