1176 search results - page 20 / 236 » Implicit Abstraction Heuristics |
JUCS
2006
13 years 9 months ago
2006
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...
COR
2004
13 years 9 months ago
2004
Abstract. A heuristic method for solving large-scale multi
WISE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The key for providing a robust context for personalized information retrieval is to build a library which gathers the long term and the short term user’s interests and ...
TMI
2010
13 years 4 months ago
2010
Abstract--Today's computer aided detection systems for computed tomography colonography (CTC) enable automated detection and segmentation of colorectal polyps. We present a pa...
CEC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— We present a novel algorithm for the onedimension offline bin packing problem with discrete item sizes based on the notion of matching the item-size histogram with the...