Sciweavers

3825 search results - page 248 / 765
» The Language of Time: A Reader
Sort
View
ECOOP
2000
Springer
15 years 11 months ago
Generic Wrappers
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...
Martin Büchi, Wolfgang Weck
LREC
2008
112views Education» more  LREC 2008»
15 years 8 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
142
Voted
CORR
1999
Springer
97views Education» more  CORR 1999»
15 years 6 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 6 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
163
Voted
RTSS
2009
IEEE
16 years 1 months 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 ...