Sciweavers

9931 search results - page 1540 / 1987
» Generative Modeling by PRISM
Sort
View
SPIRE
2010
Springer
15 years 5 months ago
Identifying SNPs without a Reference Genome by Comparing Raw Reads
Next generation sequencing (NGS) technologies are being applied to many fields of biology, notably to survey the polymorphism across individuals of a species. However, while single...
Pierre Peterlongo, Nicolas Schnel, Nadia Pisanti, ...
TAP
2010
Springer
134views Hardware» more  TAP 2010»
15 years 5 months ago
Testing First-Order Logic Axioms in Program Verification
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
Ki Yung Ahn, Ewen Denney
EMNLP
2009
15 years 5 months ago
Discovery of Term Variation in Japanese Web Search Queries
In this paper we address the problem of identifying a broad range of term variations in Japanese web search queries, where these variations pose a particularly thorny problem due ...
Hisami Suzuki, Xiao Li, Jianfeng Gao
EUSFLAT
2009
123views Fuzzy Logic» more  EUSFLAT 2009»
15 years 5 months ago
A New Fuzzy Noise-Rejection Data Partitioning Algorithm with Revised Mahalanobis Distance
Fuzzy C-Means (FCM) and hard clustering are the most common tools for data partitioning. However, the presence of noisy observations in the data may cause generation of completely ...
Mohammad Hossein Fazel Zarandi, Milad Avazbeigi, I...
EUSFLAT
2009
124views Fuzzy Logic» more  EUSFLAT 2009»
15 years 5 months ago
Development of a Fuzzy Expert System for a Nutritional Guidance Application
The importance of nutritional guidance grows as nutritional problems, such as obesity and type-2 diabetes, are becoming more common. Nutritional guidance is carried out by mapping ...
Petri Heinonen, Marjo Mannelin, Hannu Iskala, Aki ...
« Prev « First page 1540 / 1987 Last » Next »