Sciweavers

3653 search results - page 213 / 731
» On Recognizable Timed Languages
Sort
View
144
Voted
LREC
2008
112views Education» more  LREC 2008»
15 years 7 months ago
Modeling Document Dynamics: an Evolutionary Approach
News articles about the same event published over time have properties that challenge NLP and IR applications. A cluster of such texts typically exhibits instances of paraphrase a...
Jahna Otterbacher, Dragomir R. Radev
CORR
1999
Springer
97views Education» more  CORR 1999»
15 years 5 months ago
A Formal Framework for Linguistic Annotation
`Linguistic annotation' covers any descriptive or analytic notations applied to raw language data. The basic data may be in the form of time functions
Steven Bird, Mark Liberman
ICFP
2004
ACM
16 years 5 months ago
Numbering matters: first-order canonical forms for second-order recursive types
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
François Pottier, Nadji Gauthier
RTSS
2009
IEEE
16 years 6 days ago
Distributed, Modular HTL
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo ...
EACL
2003
ACL Anthology
15 years 6 months ago
Automatic Acquisition of Script Knowledge from a Text Collection
In this paper, we describe a method for automatic acquisition of script knowledge from a Japanese text collection. Script knowledge represents a typical sequence of actions that o...
Toshiaki Fujiki, Hidetsugu Nanba, Manabu Okumura