Sciweavers

691 search results - page 71 / 139
» Using Classifiers to Solve Warehouse Location Problems
Sort
View
FUZZIEEE
2007
IEEE
15 years 4 months ago
Nonlinear Classification by Genetic Algorithm with Signed Fuzzy Measure
—In this paper, we propose a new nonlinear classier based on a generalized Choquet integral with signed fuzzy measures to enhance the classification power by capturing all possib...
Honggang Wang, Hua Fang, Hamid Sharif, Zhenyuan Wa...
NFM
2011
252views Formal Methods» more  NFM 2011»
14 years 4 months ago
Call Invariants
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
Shuvendu K. Lahiri, Shaz Qadeer
CIBCB
2006
IEEE
15 years 4 months ago
Machine Learning in Basecalling Decoding Trace Peak Behaviour
— DNA sequence basecalling is commonly regarded as a solved problem, despite significant error rates being reflected in inaccuracies in databases and genome annotations. These er...
David Thornley, Stavros Petridis
WCE
2007
14 years 11 months ago
Neural Networks for Optimal Control of Aircraft Landing Systems
Abstract—In this work we present a variational formulation for a multilayer perceptron neural network. With this formulation any learning task for the neural network is defined ...
Kevin Lau, Roberto Lopez, Eugenio Oñate
ICIP
2010
IEEE
14 years 8 months ago
3D augmented Markov random field for object recognition
In this paper, we propose to use 3D information to augment the Markov random field (MRF) model for object recognition. Conventional MRF for image-based object recognition usually ...
Wei Yu, Ahmed Bilal Ashraf, Yao-Jen Chang, Congcon...