2853 search results - page 91 / 571 » On Coherence in Computer Algebra |
126
click to vote
SAC
2008
ACM
15 years 3 days ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
VR
2000
IEEE
15 years 5 months ago
2000
IEEE
We present an interactive stereoscopic rendering algorithm of voxel-based terrain. It provides unambiguous depth information of a terrain scene by generating perspective images fo...
96
Voted
SACMAT
2004
ACM
15 years 6 months ago
2004
ACM
We describe a layered approach to access control for distributed and interoperable computing systems. Firstly, compound access control policies are conceptually specified, using ...
121
click to vote
APIN
1998
15 years 10 days ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
82
Voted
ECAL
2005
Springer
15 years 6 months ago
2005
Springer
We propose a biologically and physically plausible model for ants and pheromones, and show this model to be sufficiently powerful to simulate the computation of arbitrary logic cir...