2853 search results - page 184 / 571 » On Coherence in Computer Algebra |
149
click to vote
SC
2009
ACM
2009
ACM
Comparative study of one-sided factorizations with multiple software packages on multi-core hardware
15 years 9 months ago
The emergence and continuing use of multi-core architectures require changes in the existing software and sometimes even a redesign of the established algorithms in order to take ...
169
click to vote
IPSN
2009
Springer
15 years 11 months ago
2009
Springer
Camera networks are widely used for tasks such as surveillance, monitoring and tracking. In order to accomplish these tasks, knowledge of localization information such as camera l...
177
Voted
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
121
click to vote
FUIN
2010
15 years 3 months ago
2010
In this paper we present an application of the propositional SATisfiability environment to computing some simple orthogonal matrices and some interesting tasks in the area of cry...
153
click to vote
SMA
2008
ACM
15 years 4 months ago
2008
ACM
An algorithm and implementation is presented to compute the exact arrangement induced by arbitrary algebraic surfaces on a parametrized ring Dupin cyclide. The family of Dupin cyc...