Sciweavers

3702 search results - page 549 / 741
» Reducing Misclassification Costs
Sort
View
HASE
2008
IEEE
15 years 6 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
APIN
2008
102views more  APIN 2008»
15 years 6 months ago
Approximation-based feature selection and application for algae population estimation
This paper presents a data-driven approach for feature selection to address the common problem of dealing with high-dimensional data. This approach is able to handle the real-valu...
Qiang Shen, Richard Jensen
ANOR
2007
151views more  ANOR 2007»
15 years 6 months ago
Distributed personnel scheduling - negotiation among scheduling agents
This paper introduces a model for Distributed Employee Timetabling Problems (DisETPs) and proposes a general architecture for solving DisETPs by using a Multi Agent System (MAS) pa...
Eliezer Kaplansky, Amnon Meisels
BIOINFORMATICS
2007
90views more  BIOINFORMATICS 2007»
15 years 6 months ago
HAPLOPOOL: improving haplotype frequency estimation through DNA pools and phylogenetic modeling
In the context of disease association studies, haplotype frequencies are usually estimated from genotype data. In order to reduce genotyping costs, one can estimate the haplotype ...
Bonnie Kirkpatrick, Carlos Santos Armendariz, Rich...
CEE
2010
119views more  CEE 2010»
15 years 6 months ago
Block-matching-based motion field generation utilizing directional edge displacement
A motion field generation algorithm using block matching of edge-flag histograms has been developed aiming at its application to motion recognition systems. Use of edge flags inste...
Hitoshi Hayakawa, Tadashi Shibata