8413 search results - page 1458 / 1683 » Ordering Problem Subgoals |
150
click to vote
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
144
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...
142
click to vote
ESWA
2011
14 years 7 months ago
2011
Radiotherapy planning is a complex problem which requires both expertise and experience of an oncologist. A Case Based Reasoning (CBR) system is developed to generate dose plans f...
145
click to vote
ICALP
2011
Springer
14 years 7 months ago
2011
Springer
Given a directed graph G = (V, E) and an integer k ≥ 1, a Steiner k-transitive-closure-spanner (Steiner k-TC-spanner) of G is a directed graph H = (VH , EH ) such that (1) V ⊆ ...
182
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we examine a class of multiple-input, singleoutput (MISO) nonlinear systems of the block-oriented structure. In particular, we focus on MISO Hammerstein systems bein...