6762 search results - page 372 / 1353 » Multiple drafts model |
137
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
A novel control mechanism was recently introduced based on Extended Markov Tracking (EMT) [9, 10]. In this paper, we present a study of its response to multiple interacting contro...
224
click to vote
ICCSA
2007
Springer
15 years 8 months ago
2007
Springer
A style dress outlet usually purchases products from multiple suppliers with different cost, quality and selling price. It is assumed that some suppliers will sell their goods to t...
170
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
This paper describes a novel intellectual structure for the subject space of material designed for selective autodidactic learning in a large knowledge base. This structure is base...
139
click to vote
FLAIRS
2001
15 years 8 months ago
2001
Discrete optimization problemsarise throughout many real world domainsincluding planning, decision making, and search. NP-hardin general, these problems require novel approachesto...
190
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...