493 search results - page 21 / 99 » types 1998 |
ECAI
1998
Springer
15 years 4 months ago
1998
Springer
: This paper describes a representation of the meanings of verbs based on the dynamics of interactions between two agents or objects. The representation treats interactions as havi...
107
click to vote
ISSAC
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
WAN
1998
Springer
15 years 4 months ago
1998
Springer
We consider parallel algorithms for computing the Hermite normal form of matrices over Euclidean rings. We use standard types of reduction methods which are the basis of many algor...
FOSSACS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...
ACL
1998
15 years 1 months ago
1998
In this paper I will report the result of a quantitative analysis of the dynamics of the constituent elements of Japanese terminology. In Japanese technical terms, the linguistic ...