Sciweavers

3449 search results - page 608 / 690
» A Framework for Multiple-Instance Learning
Sort
View
CIVR
2006
Springer
139views Image Analysis» more  CIVR 2006»
15 years 6 months ago
NPIC: Hierarchical Synthetic Image Classification Using Image Search and Generic Features
We introduce NPIC, an image classification system that focuses on synthetic (e.g., non-photographic) images. We use class-specific keywords in an image search engine to create a no...
Fei Wang, Min-Yen Kan
FMCAD
2006
Springer
15 years 6 months ago
Ario: A Linear Integer Arithmetic Logic Solver
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
Hossein M. Sheini, Karem A. Sakallah
GECCO
2006
Springer
181views Optimization» more  GECCO 2006»
15 years 6 months ago
Robustness in cooperative coevolution
Though recent analysis of traditional cooperative coevolutionary algorithms (CCEAs) casts doubt on their suitability for static optimization tasks, our experience is that the algo...
R. Paul Wiegand, Mitchell A. Potter
ECCV
2010
Springer
15 years 6 months ago
Optimal Contour Closure by Superpixel Grouping
Abstract. Detecting contour closure, i.e., finding a cycle of disconnected contour fragments that separates an object from its background, is an important problem in perceptual gro...
AAAI
2008
15 years 4 months ago
Another Look at Search-Based Drama Management
A drama manager (DM) monitors an interactive experience, such as a computer game, and intervenes to shape the global experience so it satisfies the author's expressive goals ...
Mark J. Nelson, Michael Mateas