@inproceedings{BonfanteLeRoux2008,
  author    = {Bonfante, Guillaume and Le Roux, Joseph},
  title     = {Intersection optimization is NP-complete},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27146},
  year      = {2008},
  abstract  = {Finite state methods for natural language processing often require the construction and the intersection of several automata. In this paper, we investigate the question of determining the best order in which these intersections should be performed. We take as an example lexical disambiguation in polarity grammars. We show that there is no efficient way to minimize the state complexity of these intersections.},
  language  = {en}
}
@inproceedings{Daciuk2008,
  author    = {Daciuk, Jan},
  title     = {Perfect hashing tree automata},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27163},
  year      = {2008},
  abstract  = {We present an algorithm that computes a function that assigns consecutive integers to trees recognized by a deterministic, acyclic, finite-state, bottom-up tree automaton. Such function is called minimal perfect hashing. It can be used to identify trees recognized by the automaton. Its value may be seen as an index in some other data structures. We also present an algorithm for inverted hashing.},
  language  = {en}
}
@inproceedings{PadroPadro2008,
  author    = {Padr{\´o}, Muntsa and Padr{\´o}, Llu{\´i}s},
  title     = {ME-CSSR : an extension of CSSR using maximum entropy models},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27210},
  year      = {2008},
  abstract  = {In this work an extension of CSSR algorithm using Maximum Entropy Models is introduced. Preliminary experiments to perform Named Entity Recognition with this new system are presented.},
  language  = {en}
}
@inproceedings{GoltzPieth2010,
  author    = {Goltz, Hans-Joachim and Pieth, Norbert},
  title     = {A tool for generating partition schedules of multiprocessor systems},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41556},
  year      = {2010},
  abstract  = {A deterministic cycle scheduling of partitions at the operating system level is supposed for a multiprocessor system. In this paper, we propose a tool for generating such schedules. We use constraint based programming and develop methods and concepts for a combined interactive and automatic partition scheduling system. This paper is also devoted to basic methods and techniques for modeling and solving this partition scheduling problem. Initial application of our partition scheduling tool has proved successful and demonstrated the suitability of the methods used.},
  language  = {en}
}
@inproceedings{Schrijvers2010,
  author    = {Schrijvers, Tom},
  title     = {Overview of the monadic constraint programming framework},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41411},
  year      = {2010},
  abstract  = {A constraint programming system combines two essential components: a constraint solver and a search engine. The constraint solver reasons about satisfiability of conjunctions of constraints, and the search engine controls the search for solutions by iteratively exploring a disjunctive search tree defined by the constraint program. The Monadic Constraint Programming framework gives a monadic definition of constraint programming where the solver is defined as a monad threaded through the monadic search tree. Search and search strategies can then be defined as firstclass objects that can themselves be built or extended by composable search transformers. Search transformers give a powerful and unifying approach to viewing search in constraint programming, and the resulting constraint programming system is first class and extremely flexible.},
  language  = {en}
}
@inproceedings{BergmannKopp2006,
  author    = {Bergmann, Kirsten and Kopp, Stefan},
  title     = {Verbal or visual? : How information is distributed across speech and gesture in spatial dialog},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10375},
  year      = {2006},
  abstract  = {In spatial dialog like in direction giving humans make frequent use of speechaccompanying gestures. Some gestures convey largely the same information as speech while others complement speech. This paper reports a study on how speakers distribute meaning across speech and gesture, and depending on what factors. Utterance meaning and the wider dialog context were tested by statistically analyzing a corpus of direction-giving dialogs. Problems of speech production (as indicated by discourse markers and disfluencies), the communicative goals, and the information status were found to be influential, while feedback signals by the addressee do not have any influence.},
  language  = {en}
}
@inproceedings{Diderichsen2006,
  author    = {Diderichsen, Philip},
  title     = {Cross recurrence quantification analysis of indefinite anaphora in Swedish dialog : an eye-tracking pilot experiment},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10388},
  year      = {2006},
  abstract  = {A new method is used in an eye-tracking pilot experiment which shows that it is possible to detect differences in common ground associated with the use of minimally different types of indefinite anaphora. Following Richardson and Dale (2005), cross recurrence quantification analysis (CRQA) was used to show that the tandem eye movements of two Swedish-speaking interlocutors are slightly more coupled when they are using fully anaphoric indefinite expressions than when they are using less anaphoric indefinites. This shows the potential of CRQA to detect even subtle processing differences in ongoing discourse.},
  language  = {en}
}
@inproceedings{LueckingRieserStaudacher2006,
  author    = {L{\"u}cking, Andy and Rieser, Hannes and Staudacher, Marc},
  title     = {Multi-modal integration for gesture and speech},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10393},
  year      = {2006},
  abstract  = {Demonstratives, in particular gestures that "only" accompany speech, are not a big issue in current theories of grammar. If we deal with gestures, fixing their function is one big problem, the other one is how to integrate the representations originating from different channels and, ultimately, how to determine their composite meanings. The growing interest in multi-modal settings, computer simulations, human-machine interfaces and VRapplications increases the need for theories ofmultimodal structures and events. In our workshopcontribution we focus on the integration of multimodal contents and investigate different approaches dealing with this problem such as Johnston et al. (1997) and Johnston (1998), Johnston and Bangalore (2000), Chierchia (1995), Asher (2005), and Rieser (2005).},
  language  = {en}
}
@inproceedings{SagetGuyomard2006,
  author    = {Saget, Sylvie and Guyomard, Marc},
  title     = {Goal-oriented dialog as a collaborative subordinated activity involving collective acceptance},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10420},
  year      = {2006},
  abstract  = {Modeling dialog as a collaborative activity consists notably in specifying the contain of the Conversational Common Ground and the kind of social mental state involved. In previous work (Saget, 2006), we claim that Collective Acceptance is the proper social attitude for modeling Conversational Common Ground in the particular case of goal-oriented dialog. We provide a formalization of Collective Acceptance, besides elements in order to integrate this attitude in a rational model of dialog are provided; and finally, a model of referential acts as being part of a collaborative activity is provided. The particular case of reference has been chosen in order to exemplify our claims.},
  language  = {en}
}
@inproceedings{DeVaultStone2006,
  author    = {DeVault, David and Stone, Matthew},
  title     = {Scorekeeping in an uncertain language game},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10448},
  year      = {2006},
  abstract  = {Received views of utterance context in pragmatic theory characterize the occurrent subjective states of interlocutors using notions like common knowledge or mutual belief. We argue that these views are not compatible with the uncertainty and robustness of context-dependence in human–human dialogue. We present an alternative characterization of utterance context as objective and normative. This view reconciles the need for uncertainty with received intuitions about coordination and meaning in context, and can directly inform computational approaches to dialogue.},
  language  = {en}
}