Advanced Engineering Informatics · 2024 · 22 citations · 61 references
SyntaxEngineeringAutomated ReasoningConcrete Dam ConstructionCivil EngineeringVerificationRule LanguageFormal MethodsRule-based SystemDam FoundationConstruction ManagementEmbankment DamComputer ScienceUnification GrammarFormal VerificationSemantic Distance
61
Efficient Estimation of Word Representations in Vector Space
Tomáš Mikolov, Kai Chen, Greg S. Corrado · arXiv (Cornell University) · 2013 · 18.1K citations · Full text