IRCS Technical Reports Series
Papers from 1996
Quantifier Scope, Lexical Semantics, and Surface Structure Constituency, Jong Cheol Park
A Semantics of Contrast and Information Structure for Specifying Intonation in Spoken Language Generation, Scott A. Prevost
What Does a Grammar Formalism Say About a Language?, James Rogers
*k*-Universal Finite Graphs, Eric Rosen, Saharon Shelah, and Scott Weinstein
Computational Methods for Realistic Image Synthesis, Min-Zhi Shao
Null vs. Overt Subjects in Turkish Discourse: A Centering Analysis, Ümit Deniz Turan
The Question of Root Infinitives in Early Child Greek, Spyridoula Varlokosta, Anne Vainikka, and Bernhard Rohrbacher
Mathematical Approaches to Comparative Linguistics, Tandy Warnow
Continuous Methods for Motion Planning, Milos Zefran
Kinematic Control of Human Postures for Task Stimulation, Xinmin Zhao
Papers from 1995
A First-Order Axiomatization of the Theory of Finite Trees, Rolf Backofen, James Rogers, and K. Vijay-Shanker
Programming Constructs for Unstructured Data, Peter Buneman, Susan B. Davidson, and Dan Suciu
Proof Theoretic Approach to Specification Languages, Jawahar Lal Chirimar
First Order Logic, Fixed Point Logic and Linear Order, Anuj Dawar, Steven Lindell, and Scott Weinstein
XTAG System - A Wide Coverage Grammar for English, Christine D. Doran, Beth Ann Hockey, Dania Egedi, B. Srinivas, and Martin Zaidel
A Freely Available Syntactic Lexicon for English, Dania Egedi and Paul Martin
Kripke Models and the (In)equational Logic of the Second-Order Lambda-Calculus, Jean H. Gallier
Proving Properties of Typed Lambda Terms Using Realizability, Covers, and Sheaves, Jean H. Gallier
Typing untyped λ-terms, or Reducibility strikes again!, Jean H. Gallier
Probabilistic Matching of Brain Images, James C. Gee, L. LeBriquer, C. Barillot, and D. R. Haynor
Bayesian Approach to the Brain Image Matching Problem, James C. Gee, L. LeBriquer, C. Barillot, D. R. Haynor, and Ruzena Bajcsy
Centering: A Framework for Modelling the Local Coherence of Discourse, Barbara J. Grosz, Aravind K. Joshi, and Scott Weinstein
Attention in Early Scientific Psychology, Gary Hatfield
The Computational Analysis of the Syntax and Interpretation of "Free" Word Order in Turkish, Beryl Hoffman
Disambiguation of Super Parts of Speech (or Supertags): Almost Parsing, Aravind K. Joshi and B. Srinivas
Verb Semantics for English-Chinese Translation, Martha S. Palmer and Zhibiao Wu
A Processing Model for Free Word Order Languages, Owen Rambow and Aravind K. Joshi
A Lexicalized Tree Adjoining Grammar for English, The XTAG Research Group
On Descriptive Complexity, Language Complexity, and GB, James Rogers
Finite Model Theory and Finite Variable Logics , Eric Rosen
Modal Logic Over Finite Structures, Eric Rosen
Preservation Theorems in Finite Model Theory, Eric Rosen and Scott Weinstein
Lexicalization and Grammar Development, B. Srinivas, Dania Egedi, Christine D. Doran, and Tilman Becker
Some Novel Applications of Explanation-Based Learning to Parsing Lexicalized Tree-Adjoining Grammars, B. Srinivas and Aravind K. Joshi
Research in the Language, Information and Computation Laboratory of the University of Pennsylvania, Matthew Stone and Libby Levison
Parallel Programming Languages for Collections, Dan Suciu
Defining Cognitive Science at IRCS: Proceedings from the April 1995 Postdoc Workshop, Anne Vainikka
Empty Subjects in Finnish and Hebrew, Anne Vainikka and Yonota Levy
Tree Growth and Morphosyntactic Triggers in Adult SLA, Anne Vainikka and Martha Young-Scholten
Reconstructing the evolutionary history of natural languages, Tandy Warnow, Donald Ringe, and Ann Taylor
Papers from 1994
Pronominal Clitics in Québec Colloquial French: A Morphological Analysis, Julie Auger
Subsumption Architecture and Discrete Event Systems: A Comparison, Luca Bogoni
Physics-Based Object Pose and Shape Estimation from Multiple Views, Michael Chan and Dimitris Metaxas
Physics-based Tracking of 3D Objects in 2D Image Sequences, Michael Chan, Dimitris Metaxas, and Sven Dickinson
Kolmogorov Complexity and the Information Content of Parameters, Robin Clark
SodaJack: An Architecture For Agents That Search For And Manipulate Objects, Christopher W. Geib, Libby Levison, and Michael B. Moore
Psychology as a Natural Science in the Eighteenth Century, Gary Hatfield
Remaking the Science of Mind: Psychology as Natural Science, Gary Hatfield
Description Based Parsing in a Connectionist Network, James Henderson
A General Framework for Hybrid Substructural Categorial Logics, Mark Hepple
Active Part-Decomposition, Shape and Motion Estimation of Articulated Objects: A Physics-based Approach, Ioannis A. Kakadiaris, Dimitris Metaxas, and Ruzena Bajcsy
Process Algebra, CCS, and Bisimulation Decidability, Seth Kulick
Aspects of Partial Information in Databases, Leonid Libkin
A Multiple-Conclusion Meta-Logic, Dale Miller
Korean Grammar Using TAGs, Hyun Seok Park
Final Report to NSF of the Standards for Facial Animation Workshop, Catherine Pelachaud, Norman I. Badler, and Marie-Luce Viaud
Formal and Computational Aspects of Natural Language Syntax, Owen Rambow
A Two-Dimensional Hierarchy for Parallel Rewriting Systems, Owen Rambow and Giorgio Satta
Acquisition of Variable Rules: (-t,d) Deletion and (ing) Production in Preschool Children, Julia Lee Roberts
Null Subjects in Early Child English and the Theory of Economy of Projection, Tom Roeper and Bernhard Rohrbacher
English Main Verbs Move Never, Bernhard Rohrbacher
Notes on the Antisymmetry of Syntax, Bernhard Rohrbacher
On German Verb Syntax under Age 2, Bernhard Rohrbacher and Anne Vainikka
Binding and Control in CCG and its Relatives, Mark Steedman
The Well-tempered Computer, Mark Steedman
Domain-Independent Queries on Databases with External Functions, Dan Suciu
A Shared-Memory Multiprocessor Implementation of Data-Parallel Operators for ML, Dan Suciu and Lorenz Huelsbergen
Linear Structure From Motion, Inigo Thomas and Eero Simoncelli
Spherical Retinal Flow for a Fixating Observer, J. Inigo Thomas, Eero Simoncelli, and Ruzena Bajcsy
Instructions, Intentions and Expectations, Bonnie L. Webber, Barbara Di Eugenio, Libby Levison, Norman I. Badler, Christopher W. Geib, and Michael B. Moore
A Computational Approach to Aspectual Composition, Michael White
Querying Nested Collections, Limsoon Wong
Review of the Literature on Time-Optimal Control of Robotic Manipulators, Milos Zefran
Papers from 1993
A Corpus-Based Approach to Language Learning, Eric D. Brill
An Information-Theoretic Solution to Parameter Setting*, Eric D. Brill and Shyam Kapur
Understanding Natural Language Instructions: A Computational Approach to Purpose Clauses, Barbara Di Eugenio
Phrase Structure and the Syntax of Clitics in the History of Spanish, Josep M. Fontana
Elastically Deforming a Three-Dimensional Atlas to Match Anatomical Brain Images, James C. Gee, Martin Reivich, and Ruzena Bajcsy
GRASP News Volume 9, Number 1, Faculty & Graduate Students
Verb Phrase Ellipsis: Form, Meaning, and Processing, Daniel Hardt
Scrambling as Case-Driven Obligatory Movement, Young-Suk Lee
CLiFF Notes: Research in the Language, Information and Computation Laboratory of the University of Pennsylvania, Libby Levison and Matthew Stone
Search Plans, Michael B. Moore
A Computational Model of Syntactic Processing: Ambiguity Resolution from Interpretation, Michael Niv
Selection and Information: A Class-Based Approach to Lexical Relationships, Philip Stuart Resnik
An SE-tree based Characterization of the Induction Problem, Ron Rymon
Diagnostic Reasoning and Planning in Exploratory-Corrective Domains, Ron Rymon
Goal-Directed Diagnosis - Diagnostic Reasoning in Exploratory-Corrective Domains, Ron Rymon
Density-Adaptive Learning and Forgetting, Marcos Salganicoff
Explicit Forgetting Algorithms for Memory Based Learning, Marcos Salganicoff
A Direct Approach to Vision Guided Manipulation, Marcos Salganicoff, Giorgio Metta, Andrea Oddera, and Giulio Sandini
A Vision-Based Learning Method for Pushing Manipulation, Marcos Salganicoff, Giorgio Metta, Andrea Oddera, and Giulio Sandini
Lexical Acquisition as Constraint Satisfaction, Jeffrey Mark Siskind
Screamer: A Portable Efficient Implementation of Nondeterministic Common LISP, Jeffrey Mark Siskind and David Allen McAllester
The Informational Component, Enric Vallduvi
Discourse Strategies for Attention-Limited Agents, Marilyn A. Walker
Informational Redundancy and Resource Bounds in Dialogue, Marilyn A. Walker
Informational Redundancy and Resource Bounds in Dialogue, Marilyn A. Walker
Papers from 1992
Progressive Horizon Planning - Planning Exploratory-Corrective Behavior, Ron Rymon, Bonnie L. Webber, and John R. Clarke