1999 search results - page 131 / 400 » Dependently Typed Grammars |
120
click to vote
AMC
2005
15 years 6 months ago
2005
Steady non-isothermal parallel-plate flow of a Newtonian fluid with a temperature dependent viscosity is considered. The viscosity is modelled by a Nahme type law. We apply axisym...
135
click to vote
COLING
1996
15 years 7 months ago
1996
This paper presents a way to compute relative social status of the individuals involved in Korean dialogue. Every Korean sentence indicates whether honorification occurs in it. Th...
170
click to vote
COMPUTER
1998
15 years 6 months ago
1998
ER ABSTRACTIONS ter service uses several abstractions— including resource, resource dependencies, and resource groups—to simplify both the cluster service itself and user-visib...
131
click to vote
LICS
1987
IEEE
15 years 9 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
AMC
2010
15 years 6 months ago
2010
An Ambrosetti-Prodi type exact multiplicity result is proved for a diffusive logistic equation with harvesting. We show that a modified diffusive logistic mapping has exactly eith...