Sciweavers

2717 search results - page 177 / 544
» Evaluation in Context
Sort
View
ACL
2011
14 years 10 months ago
Automated Whole Sentence Grammar Correction Using a Noisy Channel Model
Automated grammar correction techniques have seen improvement over the years, but there is still much room for increased performance. Current correction techniques mainly focus on...
Y. Albert Park, Roger Levy
ICTAC
2004
Springer
15 years 12 months ago
A Proof of Weak Termination Providing the Right Way to Terminate
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
Olivier Fissore, Isabelle Gnaedig, Hél&egra...
ICPR
2008
IEEE
16 years 7 months ago
3D rotation invariant local binary patterns
We present a novel method for the fast computation of rotation invariant "local binary patterns" (LBP) on 3D volume data. Unlike a previous publication on 3D LBP, this n...
Hans Burkhardt, Janis Fehr
IJVR
2008
130views more  IJVR 2008»
15 years 6 months ago
An Example of Virtual Environment and Web-based Application in Learning
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
Mohamed Hamada
CP
2000
Springer
15 years 11 months ago
New Search Heuristics for Max-CSP
Abstract. This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization...
Kalev Kask