Login / Signup

Using Conjunctions and Adverbs for Author Verification.

Daniel PavelecLuiz S. OliveiraEdson J. R. JustinoLeonardo Vidal Batista
Published in: J. Univers. Comput. Sci. (2008)
Keyphrases
  • model checking
  • formal methods
  • expert systems
  • semantic network
  • formal verification
  • test generation
  • functional verification
  • phd thesis
  • real time
  • data sets
  • neural network
  • real world
  • machine learning