1746 search results - page 20 / 350 » A linear implementation of PACMAN |
CASC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
When linear support vector machines (SVMs) are applied to multi-class text categorization in industry, the size of the linear SVM model is very large, usually greater than several...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
CONCUR
2003
Springer
14 years 2 months ago
2003
Springer
A linear forwarder is a process which receives one message on a channel and sends it on a different channel. Such a process allows for a simple implementation of the asynchronous...