4469 search results - page 349 / 894 » Dynamic Program Slicing |
142
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
135
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
139
click to vote
ML
2002
ACM
15 years 2 months ago
2002
ACM
We examine linear program (LP) approaches to boosting and demonstrate their efficient solution using LPBoost, a column generation based simplex method. We formulate the problem as...
121
click to vote
ICS
2007
Tsinghua U.
15 years 8 months ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
155
click to vote
ECP
1997
Springer
15 years 6 months ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...