Sciweavers

2681 search results - page 72 / 537
» Problem F
Sort
View
ISSAC
2004
Springer
98views Mathematics» more  ISSAC 2004»
14 years 2 months ago
Symbolic summation with single-nested sum extensions
We present a streamlined and refined version of Karr’s summation algorithm. Karr’s original approach constructively decides the telescoping problem in ΠΣ-fields, a very ge...
Carsten Schneider
EDM
2010
160views Data Mining» more  EDM 2010»
13 years 10 months ago
Using Neural Imaging and Cognitive Modeling to Infer Mental States while Using an Intelligent Tutoring System
Functional magnetic resonance imaging (fMRI) data were collected while students worked with a tutoring system that taught an algebra isomorph. A cognitive model predicted the distr...
Jon M. Fincham, John R. Anderson, Shawn Betts, Jen...
COR
2007
106views more  COR 2007»
13 years 9 months ago
Scheduling parallel CNC machines with time/cost trade-off considerations
When the processing times of jobs are controllable, selected processing times affect both the manufacturing cost and the scheduling performance.A well-known example for such a cas...
Sinan Gurel, M. Selim Akturk
ORL
2008
50views more  ORL 2008»
13 years 9 months ago
Exploiting equalities in polynomial programming
We propose a novel solution approach for polynomial programming problems with equality constraints. By means of a generic transformation, we show that solution schemes for the (ty...
Javier Peña, Juan Carlos Vera, Luis F. Zulu...
CC
2010
Springer
108views System Software» more  CC 2010»
13 years 9 months ago
Communication Complexity Under Product and Nonproduct Distributions
We solve an open problem in communication complexity posed by Kushilevitz and Nisan (1997). Let R (f) and D
Alexander A. Sherstov