Sciweavers

181 search results - page 31 / 37
» Program Slicing and Data Provenance
Sort
View
IJCAI
2007
13 years 11 months ago
Arc Consistency during Search
Enforcing arc consistency (AC) during search has proven to be a very effective method in solving Constraint Satisfaction Problems and it has been widely-used in many Constraint Pr...
Chavalit Likitvivatanavong, Yuanlin Zhang, Scott S...
CORR
2004
Springer
140views Education» more  CORR 2004»
13 years 9 months ago
Integrating Defeasible Argumentation and Machine Learning Techniques
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
Sergio Alejandro Gómez, Carlos Iván ...
PAMI
2010
168views more  PAMI 2010»
13 years 8 months ago
Nonnegative Least-Correlated Component Analysis for Separation of Dependent Sources by Volume Maximization
—Although significant efforts have been made in developing nonnegative blind source separation techniques, accurate separation of positive yet dependent sources remains a challen...
Fa-Yu Wang, Chong-Yung Chi, Tsung-Han Chan, Yue Wa...
BMCBI
2010
117views more  BMCBI 2010»
13 years 10 months ago
Better score function for peptide identification with ETD MS/MS spectra
Background: Tandem mass spectrometry (MS/MS) has become the primary way for protein identification in proteomics. A good score function for measuring the match quality between a p...
Xiaowen Liu, Baozhen Shan, Lei Xin, Bin Ma
BMCBI
2007
152views more  BMCBI 2007»
13 years 9 months ago
Recodon: Coalescent simulation of coding DNA sequences with recombination, migration and demography
Background: Coalescent simulations have proven very useful in many population genetics studies. In order to arrive to meaningful conclusions, it is important that these simulation...
Miguel Arenas, David Posada