Sciweavers

8647 search results - page 1507 / 1730
» The Container Selection Problem
Sort
View
AI
2004
Springer
15 years 3 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
107
Voted
TVCG
2008
96views more  TVCG 2008»
15 years 3 months ago
Visualization of Cellular and Microvascular Relationships
Understanding the structure of microvasculature structures and their relationship to cells in biological tissue is an important and complex problem. Brain microvasculature in parti...
David Mayerich, Louise Abbott, John Keyser
116
Voted
AICOM
2002
96views more  AICOM 2002»
15 years 3 months ago
Comparing environments for developing software agents
In the last years, dozens of environments for modeling, testing and finally implementing multi-agent systems have been developed. Unfortunately, no standard criteria for understand...
Thomas Eiter, Viviana Mascardi
110
Voted
CCE
2004
15 years 3 months ago
Optimal waste reduction and investment planning under uncertainty
Ever-changing production campaigns complicate the management of recovery and treatment options for unavoidable effluents at pharmaceutical plants. Each campaign produces large amo...
Aninda Chakraborty, Andres Malcolm, Richard D. Col...
183
Voted
CVGIP
2004
169views more  CVGIP 2004»
15 years 3 months ago
Contour interpolation by straight skeletons
In this paper we present an efficient method for interpolating a piecewise-linear surface between two parallel slices, each consisting of an arbitrary number of (possibly nested) ...
Gill Barequet, Michael T. Goodrich, Aya Levi-Stein...
« Prev « First page 1507 / 1730 Last » Next »