1746 search results - page 20 / 350 » A linear implementation of PACMAN |
112
click to vote
CASC
2009
Springer
15 years 10 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...
108
Voted
ICPR
2008
IEEE
15 years 9 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...
165
Voted
IPPS
2009
IEEE
15 years 10 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...
125
click to vote
CADE
2005
Springer
16 years 3 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...
129
click to vote
CONCUR
2003
Springer
15 years 8 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...