1738 search results - page 266 / 348 » Local Consistency and SAT-Solvers |
EOR
2010
13 years 9 months ago
2010
This study investigates an optimization-based heuristic for the Robotic Cell Problem. This problem arises in automated cells and is a complex ow shop problem with a single transpo...
DSS
2008
13 years 9 months ago
2008
The public safety community in the United States consists of thousands of local, state, and federal agencies, each with its own information system. In the past few years, there ha...
ENTCS
2008
13 years 9 months ago
2008
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
CGF
2006
13 years 9 months ago
2006
We present a novel algorithm to compute cache-efficient layouts of bounding volume hierarchies (BVHs) of polygonal models. Our approach does not make any assumptions about the cac...
COMCOM
2006
13 years 9 months ago
2006
In the paper, we consider a preference heterogeneity problem in large-scale multicast applications. Abundant content, data type and diverse members' interests naturally lead ...