5718 search results - page 996 / 1144 » Modeling Rule Precision |
154
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
A method is described for real-time market intelligence and competitive analysis. News stories are collected online for a designated group of companies. The goal is to detect crit...
182
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
164
click to vote
SIGMOD
2002
ACM
16 years 6 months ago
2002
ACM
Physical database design is important for query performance in a shared-nothing parallel database system, in which data is horizontally partitioned among multiple independent node...
192
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
We present a simple and efficient entropy coder that combines run-length and Golomb-Rice encoders. The encoder automatically switches between the two modes according to simple rul...
215
click to vote
WISTP
2010
Springer
16 years 1 months ago
2010
Springer
The deployment of Next-Generation Networks (NGN) is a challenge that requires integrating heterogeneous services into a global system of All-IP telecommunications. These networks c...