2853 search results - page 154 / 571 » On Coherence in Computer Algebra |
191
click to vote
DIGRA
2005
Springer
16 years 12 days 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...
189
click to vote
EACL
1993
ACL Anthology
15 years 8 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...
190
click to vote
CALCO
2009
Springer
16 years 1 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...
185
click to vote
ICALP
2004
Springer
16 years 7 days 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...
150
click to vote
ISSAC
2004
Springer
16 years 6 days 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...