Sciweavers

2064 search results - page 255 / 413
» Segmentation Problems
Sort
View
87
Voted
CIKM
2009
Springer
15 years 7 months ago
Fast and effective histogram construction
Histogram construction or sequence segmentation is a basic task with applications in database systems, information retrieval, and knowledge management. Its aim is to approximate a...
Felix Halim, Panagiotis Karras, Roland H. C. Yap
89
Voted
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 7 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
109
Voted
ICIW
2008
IEEE
15 years 7 months ago
Web Contents Tracking by Learning of Page Grammars
A significant fraction of Web data is available only for short periods of time. We consider methods to keep track and to record such dynamic information automatically. The main p...
Dirk Kukulenz, Christoph Reinke, Nils Hoeller
84
Voted
IJCNN
2008
IEEE
15 years 7 months ago
Image clustering with spiking neuron network
— The process of segmenting images is one of the most critical ones in automatic image analysis whose goal can be regarded as to find what objects are presented in images. Artifi...
B. Meftah, A. Benyettou, Olivier Lezoray, W. QingX...
CEC
2007
IEEE
15 years 7 months ago
Implicit alternative splicing for genetic algorithms
— In this paper we present a new nature-inspired variation operator for binary encodings in genetic algorithms (GAs). Our method, called implicit alternative splicing (iAS), is r...
Philipp Rohlfshagen, John A. Bullinaria