3333 search results - page 494 / 667 » Abstract Proof Search |
145
click to vote
CSCLP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. An interesting class of production/inventory control problems considers a single product and a single stocking location, given a stochastic demand with a known non-statio...
168
click to vote
DAWAK
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Many real world applications rely on the discovery of maximal biclique subgraphs (complete bipartite subgraphs). However, existing algorithms for enumerating maximal bicl...
123
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Concepts in Answer Set Programming (ASP) are normally defined in terms of atoms. We show that the treatment of atoms and bodies (of rules) as equitable computational obje...
149
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We address the problem of extracting Minimal Unsatisfiable Cores (MUCs) from constraint networks. This computationally hard problem has a practical interest in many appli...
158
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Portal Catalogs is a popular means of searching for information on the Web. They provide querying and browsing capabilities on data organized in a hierarchy, on a categor...