18716 search results - page 225 / 3744 » Automatic |
138
click to vote
FLAIRS
2008
15 years 7 months ago
2008
This paper describes a heuristics-based system for automatic measurement of syntactic complexity using the revised Developmental Level (D-Level) Scale (Rosenberg and Abbeduto, 198...
146
click to vote
USENIX
2008
15 years 7 months ago
2008
Large-scale parallel dataflow systems, e.g., Dryad and Map-Reduce, have attracted significant attention recently. High-level dataflow languages such as Pig Latin and Sawzall are b...
170
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
Many inequalities involving the functions ln, exp, sin, cos, etc., can be proved automatically by MetiTarski: a resolution theorem prover (Metis) modified to call a decision proced...
141
click to vote
CISSE
2008
Springer
15 years 7 months ago
2008
Springer
This paper studies a tuned version of an induction tree which is used for automatic detection of lexical word category. The database used to train the tree has several fields to de...
128
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
We present a system that automatically turns the pages of the music score for musicians during a performance. It is based on a new algorithm for following an incoming audio stream ...