Sciweavers

4234 search results - page 586 / 847
» A Method for Web Information Extraction
Sort
View
DATE
2009
IEEE
113views Hardware» more  DATE 2009»
15 years 11 months ago
Exploiting structure in an AIG based QBF solver
—In this paper we present a procedure for solving quantified boolean formulas (QBF), which uses And-Inverter Graphs (AIGs) as the core data-structure. We make extensive use of s...
Florian Pigorsch, Christoph Scholl
ISCAS
2008
IEEE
171views Hardware» more  ISCAS 2008»
15 years 10 months ago
Statistical image modeling using von Mises distribution in the complex directional wavelet domain
— In this paper, a new statistical model is proposed for modeling the nature images in the transform domain. We demonstrate that the von Mises distribution (VM) fits accurately ...
An P. N. Vo, Soontorn Oraintara, Truong T. Nguyen
CAIP
2007
Springer
117views Image Analysis» more  CAIP 2007»
15 years 10 months ago
Eigenmotion-Based Detection of Intestinal Contractions
Abstract. Intestinal contractions are one of the main features for analyzing intestinal motility and detecting different gastrointestinal pathologies. In this paper we propose Eig...
Laura Igual, Santi Seguí, Jordi Vitri&agrav...
GECCO
2007
Springer
157views Optimization» more  GECCO 2007»
15 years 10 months ago
Global multiobjective optimization via estimation of distribution algorithm with biased initialization and crossover
Multiobjective optimization problems with many local Pareto fronts is a big challenge to evolutionary algorithms. In this paper, two operators, biased initialization and biased cr...
Aimin Zhou, Qingfu Zhang, Yaochu Jin, Bernhard Sen...
VRST
2006
ACM
15 years 10 months ago
A reprocessing tool for quantitative data analysis in a virtual environment
This paper presents an approach to help speed up and unify the exploration and analysis of time-dependent, volumetric data sets by easily incorporating new qualitative and quantit...
Eric J. Griffith, Michal Koutek, Frits H. Post, T....