Sciweavers

1176 search results - page 20 / 236
» Implicit Abstraction Heuristics
Sort
View
JUCS
2006
107views more  JUCS 2006»
15 years 6 months ago
Testing Membership in Formal Languages Implicitly Represented by Boolean Functions
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...
Beate Bollig
COR
2004
85views more  COR 2004»
15 years 5 months ago
A heuristic method for large-scale multi-facility location problems
Abstract. A heuristic method for solving large-scale multi
Yuri Levin, Adi Ben-Israel
WISE
2007
Springer
16 years 8 days ago
Learning Implicit User Interests Using Ontology and Search History for Personalization
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 ...
Mariam Daoud, Lynda Tamine, Mohand Boughanem, Bila...
TMI
2010
134views more  TMI 2010»
15 years 21 days ago
Detection and Segmentation of Colonic Polyps on Implicit Isosurfaces by Second Principal Curvature Flow
Abstract--Today's computer aided detection systems for computed tomography colonography (CTC) enable automated detection and segmentation of colorectal polyps. We present a pa...
Cees van Wijk, Vincent Frans van Ravesteijn, Frans...
CEC
2007
IEEE
16 years 10 days ago
A histogram-matching approach to the evolution of bin-packing strategies
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...
Riccardo Poli, John Woodward, Edmund K. Burke