1195 search results - page 16 / 239 » Modeling an Algebraic Stepper |
111
click to vote
ACL
2003
15 years 3 months ago
2003
This paper investigates an application of the ranked region algebra to information retrieval from large scale but unannotated documents. We automatically annotated documents with ...
133
Voted
AFPAC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this paper we investigate the Lie model of Lie sphere geometry using Clifford algebra. We employ it to Euclidean geometric problems involving oriented contact to simpl...
90
Voted
RTA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
TACS
1991
Springer
15 years 5 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
106
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...