3897 search results - page 208 / 780 » complexity 2010 |
122
Voted
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
149
click to vote
SCHEDULING
2010
15 years 3 months ago
2010
This paper reconsiders the PERT scheduling problem when information about task duration is incomplete. We model uncertainty on task durations by intervals. With this problem formu...
144
click to vote
NAACL
2010
15 years 3 months ago
2010
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
147
Voted
TIT
2010
14 years 11 months ago
2010
Abstract-- We consider deletion channels and insertion channels under an additional segmentation assumption: the input consists of disjoint segments of b consecutive bits, with at ...
144
Voted
ICS
2010
Tsinghua U.
15 years 10 months ago
2010
Tsinghua U.
– Communication overhead is one of the dominant factors that affect performance in high-performance computing systems. To reduce the negative impact of communication, programmers...