1581 search results - page 30 / 317 » Mechanizing Inductive Reasoning |
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
Gregory McColm conjectured that positive elementary inductions are bounded in a class K of nite structures if every (FO + LFP) formula is equivalent to a rst-order formula in K. H...
117
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...
141
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In wireless multicast systems, cooperative multicast has been shown to be effective in dealing with heterogeneous channel conditions and improving the system performance. However,...
118
click to vote
ILP
2000
Springer
15 years 5 months ago
2000
Springer
A method for learning multivariate time series classifiers by inductive logic programming is presented. Two types of background predicate that are suited for this task are introduc...
116
click to vote
IDEAL
2004
Springer
15 years 7 months ago
2004
Springer
As a vast number of services have been flooding into the Internet, it is more likely for the Internet resources to be exposed to various hacking activities such as Code Red and SQL...