Login / Signup
A new proof of normalization for NS4
Bruno Lopes
Cecília Englander
Fernanda Lobo
Marcela Cruz
Published in:
CoRR (2012)
Keyphrases
</>
normalization method
preprocessing
network simulator
theorem prover
data sets
artificial intelligence
routing protocol
neural network
mathematical proofs
proof planning
linear logic
data mining
mobile ad hoc networks
logic programs
wireless sensor networks
feature extraction
case study