1325 search results - page 200 / 265 » An Approach to Generation of Decision Rules |
107
click to vote
CORR
2012
Springer
13 years 5 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
164
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Query generators producing sequences of SQL statements are embedded in many applications. As the execution time of such sequences is often far from optimal, their optimization is ...
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a rule-based approach that utilizes some types of contextual information to improve the accuracy of handwritten mathematical expression(ME) recognition. Mining...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Protecting BGP routing from errors and malice is one of the next big challenges for Internet routing. Several approaches have been proposed that attempt to capture and block ro...
NAACL
2007
14 years 11 months ago
2007
We present a sentence compression system based on synchronous context-free grammars (SCFG), following the successful noisy-channel approach of (Knight and Marcu, 2000). We define...