2853 search results - page 154 / 571 » On Coherence in Computer Algebra |
142
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
Trans-reality role-playing games are conceived of as a form of role-playing game evolving from and integrating established table-top, live-action and computer-based role-playing f...
139
click to vote
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
This paper proposes a method for measuring semantic similarity between words as a new tool for text analysis. The similarity is measured on a semantic network constructed systemat...
144
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
146
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
112
click to vote
ISSAC
2004
Springer
15 years 9 months ago
2004
Springer
We give a necessary and sufficient condition for an algebraic ODE to have a rational type general solution. For an autonomous first order ODE, we give an algorithm to compute a r...