220 search results - page 29 / 44 » A Relevant Analysis of Natural Deduction |
CIKM
2010
Springer
13 years 7 months ago
2010
Springer
We present a method for automated topic suggestion. Given a plain-text input document, our algorithm produces a ranking of novel topics that could enrich the input document in a m...
SIGIR
2006
ACM
14 years 2 months ago
2006
ACM
Classical query expansion techniques such as the local context analysis (LCA) make use of term co-occurrence statistics to incorporate additional contextual terms for enhancing pa...
IPTPS
2005
Springer
14 years 2 months ago
2005
Springer
— We propose here an analysis of a rich dataset which gives an exhaustive and dynamic view of the exchanges processed in a running eDonkey system. We focus on correlation in term...
BMCBI
2007
13 years 8 months ago
2007
Background: Metabolic Flux Analysis (MFA) based on isotope labeling experiments (ILEs) is a widely established tool for determining fluxes in metabolic pathways. Isotope labeling ...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Extensive research has been done to show that heartbeats are composed of the interaction of many physiological components operating on different time scales, with nonlinear and se...