Sciweavers

1216 search results - page 152 / 244
» Hybrid type checking
Sort
View
VLBV
2005
Springer
15 years 9 months ago
H.264/AVC Based Video Coding Using Multiscale Recurrent Patterns: First Results
The Multidimensional Multiscale Parser (MMP) algorithm has been proposed recently as a universal data coding method. MMP has proved to be a very powerful coding method for images, ...
Nuno M. M. Rodrigues, Eduardo A. B. da Silva, Muri...
HAIS
2009
Springer
15 years 8 months ago
Economic Load Dispatch Using a Chemotactic Differential Evolution Algorithm
This paper presents a novel stochastic optimization approach to solve constrained economic load dispatch (ELD) problem using Hybrid Bacterial Foraging-Differential Evolution optimi...
Arijit Biswas, Sambarta Dasgupta, Bijaya K. Panigr...
122
Voted
EXACT
2007
15 years 6 months ago
PML 2: A Modular Explanation Interlingua
In the past five years, we have designed and evolved an interlingua for sharing explanations generated by various automated systems such as hybrid web-based question answering sys...
Deborah L. McGuinness, Li Ding, Paulo Pinheiro da ...
ICONIP
2008
15 years 5 months ago
Detecting Methods of Virus Email Based on Mail Header and Encoding Anomaly
In this paper, we try to develop a machine learning-based virus email detection method. The key feature of this paper is employing Mail Header and Encoding Anomaly(MHEA) [1]. MHEA ...
Daisuke Miyamoto, Hiroaki Hazeyama, Youki Kadobaya...
AMAI
2005
Springer
15 years 3 months ago
A SAT approach to query optimization in mediator systems
Mediator systems integrate distributed, heterogeneous and autonomous data sources, but their e ective use requires the solution of hard query optimization problems. This is usuall...
Steven David Prestwich, Stéphane Bressan