@String{cvs_id = {$Id: miller.bib,v 1.25 2005/01/30 05:10:43 psy Exp $}} @String{type_refart = {Refereed journal articles}} @String{type_book = {Books and edited volumes}} @String{type_chapter = {Book chapters}} @String{type_refconf = {Refereed conference proceedings}} @String{type_tech = {Theses, technical reports, and manuals}} @String{type_art = {Other journal, newspaper, and magazine articles}} @TechReport{miller2005efisk, author = {Tristan Miller and Stefan Agne and Andreas Dengel}, title = {{eFISK}~-- eine aufmerksamkeitsbasierte {S}chl{\"{u}}sselwort-{E}xtraktions- und {I}nformation {R}etrieval-{M}aschine}, institution = {Stiftung Rheinland-Pfalz f{\"{u}}r Innovation}, year = {2005}, type = {Abschlussbericht}, number = {15202-386261/659}, month = jun, pubtype = type_tech, } @Article{miller2005using, author = {Tristan Miller}, title = {Using the {RPM} {P}ackage {M}anager for ({L}a){\TeX}{} packages}, journal = {TUGboat}, year = {2005}, volume = {26}, number = {1}, issn = {0896-3207}, pages = {17-28}, abstract = {RPM is a package management system which provides a uniform, automated way for users to install, upgrade, and uninstall programs. Because RPM is the default software distribution format for many operating systems (particularly GNU/Linux), users may find it useful to manage their library of TeX-related packages using RPM. This article explains how to produce RPM files for TeX software, either for personal use or for public distribution. We also explain how a (La)TeX user can find, install, and remove TeX-related RPM packages.}, note = {Includes Practical \TeX\ 2005 Conference Proceedings}, pubtype = type_refart, } @Article{miller2005biblet, author = {Tristan Miller}, title = {Biblet: A portable {\BibTeX}\ bibliography style for generating highly customizable {XHTML}}, journal = {TUGboat}, issn = {0896-3207}, year = {2005}, volume = {26}, number = {1}, pages = {85-96}, abstract = {We present Biblet, a set of BibTeX bibliography styles (bst) which generate XHTML from BibTeX databases. Unlike other BibTeX to XML/HTML converters, Biblet is written entirely in the native BibTeX style language and therefore works ``out of the box'' on any system that runs BibTeX. Features include automatic conversion of LaTeX symbols to HTML or Unicode entities; customizable graphical hyperlinks to PostScript, PDF, DVI, LaTeX, and HTML resources; support for nonstandard but common fields such as day, isbn, and abstract; hideable text blocks; and output of the original BibTeX entry for sharing citations. Biblet's highly structured XHTML output means that bibliography appearance to can be drastically altered simply by specifying a Cascading Style Sheet (CSS), or easily postprocessed with third-party XML, HTML, or text processing tools. We compare and contrast Biblet to other common converters, describe basic usage of Biblet, give examples of how to produce custom-formatted bibliographies, and provide a basic overview of Biblet internals for those wishing to modify the style file itself.}, pubtype = type_refconf, note = {Includes Practical \TeX\ 2005 Conference Proceedings}, } @Article{miller2005producing, author = {Tristan Miller}, title = {Producing Beautiful Slides with {\LaTeX}: An Introduction to the {HA-prosper} Package}, journal = {The Prac{\TeX}{} Journal}, year = {2005}, volume = {2}, number = {1}, month = apr, day = {20}, pdf = {http://www.tug.org/pracjourn/2005-2/miller/miller.pdf}, abstract = {In this paper, we present HA-prosper, a LaTeX package for creating overhead slides. We describe the features of the package and give examples of their use. We also discuss what advantages there are to producing slides with LaTeX versus the presentation software typically bundled with today's office suites.}, issn = {1556-6994}, pubtype = type_art, } @Article{miller2006producing, author = {Tristan Miller}, title = {Creare splendide slade con {\LaTeX}: Un'introduzione al pacchetto {HA-prosper} [{P}roducing Beautiful Slides with {\LaTeX}: An Introduction to the {HA-prosper} Package]}, journal = {Pluto Journal}, year = {2006}, number = {47}, month = may, note = {Translated by Gabriele Zucchetta.}, abstract = {In questo articolo verr{\`{a}} presentato HA-prosper, un pacchetto LaTeX per la creazione di sofisticate slide. Ne descriveremo le caratteristiche mostrandone alcuni esempi d'uso. Inoltre, discuteremo quali vantaggi si possono trarre dal tipo di approccio, proprio della filosofia LaTeX, in rapporto agli altri tipi di programmi per presentazioni che generalmente sono presenti nelle attuali suite di applicazioni per ufficio.}, url = {http://www.pluto.it/files/journal/pj0605/HA-prosper.html}, pubtype = type_art, } @InProceedings{klein2005security, author = {Bertin Klein and Tristan Miller and Sandra Zilles}, title = {Security Issues for Pervasive Personalized Communication Systems}, booktitle = {Security in Pervasive Computing: Second International Conference, SPC~2005, Boppard, Germany, April 6--8, 2005, Proceedings}, year = {2005}, series = {Lecture Notes on Computer Science}, address = {Heidelberg}, month = apr, publisher = {Springer Verlag}, volume = {3450}, pages = {56-62}, isbn = {3-540-25521-4}, editor = {Dieter Hutter and Markus Ullmann}, dvi = {http://www.nothingisreal.com/publications/klein05security.dvi}, ps = {http://www.nothingisreal.com/publications/klein05security.ps}, pdf = {http://www.nothingisreal.com/publications/klein05security.pdf}, abstract = {Technological progress allows us to equip any mobile phone with new functionalities, such as storing personalized information about its owner and using the corresponding personal profile for enabling communication to persons whose mobile phones represent similar profiles. However, this raises very specific security issues, in particular relating to the use of Bluetooth technology. Herein we consider such scenarios and related problems in privacy and security matters. We analyze in which respect certain design approaches may fail or succeed at solving these problems. We concentrate on methods for designing the user-related part of the communication service appropriately in order to enhance confidentiality.}, pubtype = type_refconf, } @InProceedings{maher2000efficient, author = {Michael J. Maher and Allan Rock and Grigoris Antoniou and David Billington and Tristan Miller}, title = {Efficient Defeasible Reasoning Systems}, booktitle = {Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI~2000)}, ps = {http://www.nothingisreal.com/publications/maher00.ps}, pdf = {http://www.nothingisreal.com/publications/maher00.pdf}, year = {2000}, pages = {384-392}, isbn = {0-7695-0909-6}, publisher = {IEEE Press}, month = dec, day = {1}, abstract = {For many years, the non-monotonic reasoning community has focussed on highly expressive logics. Such logics have turned out to be computationally expensive, and have given little support to the practical use of non-monotonicreasoning. In this work we discuss defeasible logic, a less-expressive but more efficient non-monotonic logic. We report on two new implemented systems for defeasible logic: a query answering system employing a backward-chaining approach, and a forward-chaining implementation that computes all conclusions. Our experimental evaluation demonstrates that the systems can deal with large theories (up to hundreds of thousands of rules). We show that defeasible logic has linear complexity, which contrasts markedly with most other non-monotonic logics and helps to explain the impressive experimental results. We believe that defeasible logic, with its efficiency and simplicity, is a good candidate to be used as a modelling language for practical applications, including modelling of regulations and business rules.}, pubtype = type_refconf, } @Article{maher2001efficient, author = {Michael J. Maher and Allan Rock and Grigoris Antoniou and David Billington and Tristan Miller}, title = {Efficient Defeasible Reasoning Systems}, journal = {International Journal on Artificial Intelligence Tools}, year = {2001}, issn = {0218-2130}, ps = {http://www.nothingisreal.com/publications/maher01.ps}, volume = {10}, number = {4}, pages = {483-501}, abstract = {For many years, the non-monotonic reasoning community has focussed on highly expressive logics. Such logics have turned out to be computationally expensive, and have given little support to the practical use of non-monotonicreasoning. In this work we discuss defeasible logic, a less-expressive but more efficient non-monotonic logic. We report on two new implemented systems for defeasible logic: a query answering system employing a backward-chaining approach, and a forward-chaining implementation that computes all conclusions. Our experimental evaluation demonstrates that the systems can deal with large theories (up to hundreds of thousands of rules). We show that defeasible logic has linear complexity, which contrasts markedly with most other non-monotonic logics and helps to explain the impressive experimental results. We believe that defeasible logic, with its efficiency and simplicity, is a good candidate to be used as a modelling language for practical applications, including modelling of regulations and business rules.}, pubtype = type_refart, } @Manual{miller2000delores, title = {{DELORES} User's Manual}, author = {Tristan Miller}, organization = {School of Computing and Information Technology, Griffith University}, year = {2000}, pubtype = type_tech, } @Article{miller2003essay, author = {Tristan Miller}, title = {Essay Assessment with Latent Semantic Analysis}, journal = {Journal of Educational Computing Research}, year = {2003}, volume = {29}, number = {4}, ps = {http://www.nothingisreal.com/publications/miller03a.ps}, pdf = {http://www.nothingisreal.com/publications/miller03a.pdf}, pages = {495-512}, issn = {0735-6331}, abstract = {Latent semantic analysis (LSA) is an automated, statistical technique for comparing the semantic similarity of words or documents. In this paper, I examine the application of LSA to automated essay scoring. I compare LSA methods to earlier statistical methods for assessing essay quality, and critically review contemporary essay-scoring systems built on LSA, including the Intelligent Essay Assessor, Summary Street, State the Essence, Apex, and Select-a-Kibitzer. Finally, I discuss current avenues of research, including LSA's application to computer-measured readability assessment and to automatic summarization of student essays.}, pubtype = type_refart, } @MastersThesis{miller2003generating, author = {Tristan Miller}, title = {Generating Coherent Extracts of Single Documents Using Latent Semantic Analysis}, school = {Department of Computer Science, University of Toronto}, year = {2003}, month = mar, ps = {http://www.nothingisreal.com/publications/miller03b.ps}, pdf = {http://www.nothingisreal.com/publications/miller03b.pdf}, abstract = {A major problem with automatically-produced summaries in general, and extracts in particular, is that the output text often lacks textual coherence. Our goal is to improve the textual coherence of automatically produced extracts. We developed and implemented an algorithm which builds an initial extract composed solely of topic sentences, and then recursively fills in the lacunae by providing linking material from the original text between semantically dissimilar sentences. Our summarizer differs in architecture from most others in that it measures semantic similarity with latent semantic analysis (LSA), a factor analysis technique based on the vector-space model of information retrieval. We believed that the deep semantic relations discovered by LSA would assist in the identification and correction of abrupt topic shifts in the summaries. However, our experiments did not show a statistically significant difference in the coherence of summaries produced by our system as compared with a non-LSA version.}, pubtype = type_tech, } @InProceedings{miller2003latent, author = {Tristan Miller}, title = {Latent Semantic Analysis and the Construction of Coherent Extracts}, booktitle = {International Conference Recent Advances in Natural Language Processing 2003 Proceedings}, pages = {270-277}, year = {2003}, isbn = {954-90906-6-3}, editor = {Galia Angelova and Kalina Bontcheva and Ruslan Mitkov and Nicolas Nicolov and Nikolai Nikolov}, month = sep, dvi = {http://www.nothingisreal.com/publications/miller03c.dvi}, ps = {http://www.nothingisreal.com/publications/miller03c.ps}, pdf = {http://www.nothingisreal.com/publications/miller03c.pdf}, abstract = {We describe a language-neutral automatic summarization system which aims to produce coherent extracts. It builds an initial extract composed solely of topic sentences, and then recursively fills in the topical lacunae by providing linking material between semantically dissimilar sentences. While experiments with human judges did not prove a statistically significant increase in textual coherence with the use of a latent semantic analysis module, we found a strong positive correlation between coherence and overall summary quality.}, pubtype = type_refconf, } @InCollection{miller2004latent, author = {Tristan Miller}, title = {Latent Semantic Analysis and the Construction of Coherent Extracts}, booktitle = {Recent Advances in Natural Language Processing {III}}, publisher = {John Benjamins}, year = {2004}, editor = {Nicolas Nicolov and Kalina Botcheva and Galia Angelova and Ruslan Mitkov}, series = {Current Issues in Linguistic Theory (CILT)}, address = {Amsterdam/Philadelphia}, volume = {260}, pages = {277-286}, isbn = {1588116182}, abstract = {We describe a language-neutral automatic summarization system which aims to produce coherent extracts. It builds an initial extract composed solely of topic sentences, and then recursively fills in the topical lacunae by providing linking material between semantically dissimilar sentences. While experiments with human judges did not prove a statistically significant increase in textual coherence with the use of a latent semantic analysis module, we found a strong positive correlation between coherence and overall summary quality.}, pubtype = type_chapter, } @InProceedings{miller2005identifying, author = {Tristan Miller and Stefan Agne}, title = {Attention-based information retrieval using eye tracker data}, booktitle = {Proceedings of the Third International Conference on Knowledge Capture ({K-CAP05})}, month = sep, pages = {209-210}, year = {2005}, abstract = {We describe eFISK, an automated keyword extraction system which unobtrusively measures the user's attention in order to isolate and identify those areas of a written document the reader finds of greatest interest. Attention is measured by use of eye-tracking hardware consisting of a desk-mounted infrared camera which records various data about the user's eye. The keywords thus identified are subsequently used in the back end of an information retrieval system to help the user find other documents which contain information of interest to him. Unlike traditional IR techniques which compare documents simply on the basis of common terms withal, our system also accounts for the weights users implicitly attach to certain words or sections of the source document. We describe a task-based user study which compares the utility of standard relevance feedback techniques to the keywords and keyphrases discovered by our system in finding other relevant documents from a corpus.}, pubtype = type_refconf, } @Article{xiang1999wellbehaved, author = {Yang Xiang and Tristan Miller}, title = {A Well-behaved Algorithm for Simulating Dependence Structures of {B}ayesian Networks}, journal = {International Journal of Applied Mathematics}, year = {1999}, volume = {1}, number = {8}, pages = {923-932}, issn = {1311-1728}, ps = {http://www.nothingisreal.com/publications/xiang99wellbehaved.ps}, pdf = {http://www.nothingisreal.com/publications/xiang99wellbehaved.pdf}, abstract = {Automatic generation of Bayesian network (BN) structures (directed acyclic graphs) is an important step in experimental study of algorithms for inference in BNs and algorithms for learning BNs from data. Previously known simulation algorithms do not guarantee connectedness of generated structures or even successful genearation according to a user specification. We propose a simple, efficient and well-behaved algorithm for automatic generation of BN structures. The performance of the algorithm is demonstrated experimentally.}, pubtype = type_refart, } @TechReport{miller2001essay, author = {Tristan Miller}, title = {Essay Assessment with Latent Semantic Analysis}, institution = {Department of Computer Science, University of Toronto}, year = {2001}, OPTkey = {}, type = {Technical Report}, number = {{CSRG-440}}, OPTaddress = {}, month = may, day = {6}, OPTnote = {}, OPTannote = {}, pubtype = type_tech, } @InProceedings{miller2006word, author = {Tristan Miller and Elisabeth Wolf}, title = {Word Completion with Latent Semantic Analysis}, booktitle = {Proceedings of the 18th International Conference on Pattern Recognition (ICPR 2006)}, OPTcrossref = {}, OPTkey = {}, pages = {1252-1255}, year = {2006}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, month = aug, day = {20--24}, OPTorganization = {}, publisher = {IEEE Press}, OPTnote = {In submission}, OPTannote = {}, isbn = {0-7695-2521-0}, abstract = {Current word completion tools rely mostly on statistical or syntactic knowledge. Can using semantic knowledge improve the completion task? We propose a languageindependent word completion algorithm which uses latent semantic analysis (LSA) to model the semantic context of the word being typed. We find that a system using this algorithm alone achieves keystroke savings of 56\% and a hit rate of 42\%. This represents improvements of 6.9\% and 17\%, respectively, over existing approaches.}, doi = {10.1109/ICPR.2006.1191} } @InProceedings{wolf2006use, author = {Elisabeth Wolf and Shankar Vembu and Tristan Miller}, title = {On the use of topic models for word completion}, booktitle = {Proceedings of the 5th International Conference on Natural Language Processing (FinTAL 2006)}, OPTcrossref = {}, OPTkey = {}, pages = {500-511}, year = {2006}, OPTeditor = {}, volume = {4139}, OPTnumber = {}, series = {Lecture Notes in Artificial Intelligence}, isbn = {978-3-540-37334-6}, OPTaddress = {}, month = aug, day = {23--25}, OPTorganization = {}, publisher = {Springer}, OPTnote = {Research experiment in progress}, OPTannote = {}, abstract = {We investigate the use of topic models, such as probabilistic latent semantic analysis (PLSA) and latent Dirichlet allocation (LDA), for word completion tasks. The advantage of using these models for such an application is twofold. On the one hand, they allow us to exploit semantic or contextual information when predicting candidate words for completion. On the other hand, these probabilistic models have been found to outperform classical latent semantic analysis (LSA) for modeling text documents. We describe a word completion algorithm that takes into account the semantic context of the word being typed. We also present evaluation metrics to compare different models being used in our study. Our experiments validate our hypothesis of using probabilistic models for semantic analysis of text documents and their application in word completion tasks.}, doi = {10.1007/11816508_50}, pdf = {http://www.springerlink.com/content/y11635182220n613/fulltext.pdf} }