3273 search results - page 74 / 655 » types 2007 |
DAGSTUHL
2006
15 years 1 months ago
2006
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the
ACL
2003
15 years 1 months ago
2003
In this paper, we elucidate how Korean temporal markers, OE and DONGAN contribute to specifying the event time and formalize it in terms of typed lambda calculus. We also present ...
64
Voted
ACL
1992
15 years 1 months ago
1992
The IDAS natural-language generation system uses a KL-ONE type classifier to perform content determination, surface realisation, and part of text planning. Generation-by-classific...
CPHYSICS
2007
14 years 12 months ago
2007
The adsorption of mixtures of alkyl thiol surfactants on the Au(111) surface as well as on icosahedral gold nanocrystals (NCs) was investigated by molecular simulation. We compare...
EUSFLAT
2007
15 years 1 months ago
2007
The aim of the contribution is the discussion of some types and classes of means on ordinal scales, especially kernel and shift invariant ordinal means, weighted ordinal means bas...