Sciweavers

3804 search results - page 93 / 761
» From Here to There
Sort
View
ISBI
2007
IEEE
16 years 18 days ago
Two-Tensor Fiber Tractography
Estimating white matter fiber pathways from a diffusion tensor MRI dataset has many important applications in medical research. However, the standard approach of performing track...
Ørjan Bergmann, Gordon L. Kindlmann, Sharon...
LICS
2007
IEEE
16 years 17 days ago
Separating DAG-Like and Tree-Like Proof Systems
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
Phuong Nguyen
ACL
2006
15 years 7 months ago
Automatic Identification of Pro and Con Reasons in Online Reviews
In this paper, we present a system that automatically extracts the pros and cons from online reviews. Although many approaches have been developed for extracting opinions from tex...
Soo-Min Kim, Eduard H. Hovy
SMC
2007
IEEE
16 years 17 days ago
ADtrees for sequential data and n-gram Counting
Abstract— We consider the problem of efficiently storing ngram counts for large n over very large corpora. In such cases, the efficient storage of sufficient statistics can ha...
Robert Van Dam, Dan Ventura
CL
2000
Springer
15 years 10 months ago
Proving Failure in Functional Logic Programs
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
Francisco Javier López-Fraguas, Jaime S&aac...