1982 search results - page 75 / 397 » Parametricity and dependent types |
IJCNLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We explore the use of a partially annotated corpus to build a dependency parser for Japanese. We examine two types of partially annotated corpora. It is found that a pars...
SERA
2005
Springer
15 years 3 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
WECWIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Markets with time dependent goods are special cases of multi commodity markets.The design of large flexible markets with time dependent goods is a computational challenge. In thi...
INFOCOM
1997
IEEE
15 years 2 months ago
1997
IEEE
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
DAGSTUHL
1997
14 years 11 months ago
1997
Analyzing structure in complex time dependent flow fields is a challenging problem. This paper describes the use of spot noise for the visualization of this type of fields. Spo...