1999 search results - page 216 / 400 » Finding Reductions Automatically |
127
click to vote
CSMR
2004
IEEE
15 years 5 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
100
click to vote
CVPR
2004
IEEE
15 years 5 months ago
2004
IEEE
We present a simple and universal camera calibration method. Instead of extensive setups we are exploiting the accurate angular positions of fixed stars. High precision is achieve...
129
Voted
AISC
2008
Springer
15 years 3 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
111
click to vote
IJCAI
1997
15 years 3 months ago
1997
Weak causal relationships and small sample size pose two significant difficulties to the automatic discovery of causal models from observational data. This paper examines the infl...
ANLP
1994
15 years 3 months ago
1994
Japanese texts frequently suffer from the homophone errors caused by the KANA-KANJI conversion needed to input the text. It is critical, therefore, for Japanese revision support s...