2962 search results - page 530 / 593 » Reasoning on Association Rules |
172
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
The voice activity detectors (VADs) based on statistical models have shown impressive performances especially when fairly precise statistical models are employed. Moreover, the ac...
255
click to vote
PLPV
2011
ACM
14 years 8 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
308
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
195
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
258
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
Robust, global, address geocoding is challenging because there is no single address format that applies to all geographies, and in any case, users may not restrict themselves to w...