Results 91 to 100 of about 1,307,657 (201)

Sketchbook: logical model inference from Boolean network sketches. [PDF]

open access: yesBioinform Adv
Huvar O   +4 more
europepmc   +1 more source

Formal Semantics of Sign Languages

open access: yesLanguage and Linguistics Compass, 2012
Sandro Zucchi
semanticscholar   +1 more source

Formal C Semantics: CompCert and the C Standard

open access: yesInternational Conference on Interactive Theorem Proving, 2014
Robbert Krebbers, X. Leroy, F. Wiedijk
semanticscholar   +1 more source

A framework for semantics-based situational awareness during mobile robot deployments. [PDF]

open access: yesFront Robot AI
Ruan T   +8 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy