5331 search results - page 46 / 1067 » Algebraic Methods for Optimization Problems |
SBACPAD
2003
IEEE
14 years 4 months ago
2003
IEEE
— A radiative transfer solver that implements the LTSn method was optimized and parallelized using the MPI message passing communication library. Timing and profiling informatio...
LCPC
2001
Springer
14 years 3 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
UAI
2003
14 years 15 days ago
2003
Real-world distributed systems and networks are often unreliable and subject to random failures of its components. Such a stochastic behavior affects adversely the complexity of o...
AIEDU
2005
13 years 11 months ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
ICALP
1999
Springer
14 years 3 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...