COCO
2010
Springer
13 years 8 months ago
2010
Springer
We prove that weighted monotone/antimonotone circuit satisfiability has no fixed-parameter tractable approximation algorithm with any approximation ratio function ρ, unless FPT...
ICPR
2006
IEEE
14 years 5 months ago
2006
IEEE
A directional spatial relationship to a reference object (e.g., "east of the post office") can be represented by a spatial template. The template partitions the space in...