3250 search results - page 466 / 650 » An Algorithm to Solve a Linear Program |
164
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
261
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
152
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents an algorithmic framework for conducting search and identification missions using multiple heterogeneous agents. Dynamic objects of type “neutral” or ...
160
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
Many real-world problems require the enumeration of all solutions of combinatorial search problems, even though this is often infeasible in practice. However, not always all parts ...
137
click to vote
DATE
2007
IEEE
16 years 24 days ago
2007
IEEE
Modern systems-on-a-chip platforms support multiple clock domains, in which different sub-circuits are driven by different clock signals. Although the frequency of each domain can...