12052 search results - page 517 / 2411 » computing 2010 |
191
click to vote
CPHYSICS
2010
15 years 4 months ago
2010
We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation use...
147
click to vote
MICS
2010
15 years 1 months ago
2010
This paper provides methods to decide whether a given analytic function of several complex variables is a linear combination of finitely many given analytic functions with coeffic...
171
click to vote
TCS
2010
15 years 5 months ago
2010
We compare how computational effects are modelled in Classical Domain Theory and Topological Domain Theory. Both of these theories provide powerful toolkits for denotational sema...
132
click to vote
COLING
2010
15 years 1 months ago
2010
This paper proposes an efficient online method that trains a classifier with many conjunctive features. We employ kernel computation called kernel slicing, which explicitly consid...
139
click to vote
EOR
2006
15 years 7 months ago
2006
There are many resource restrictions in real production/inventory systems (for example, budget, storage, transportation capacity, etc.). But unlike other research areas, there is ...