Sciweavers

950 search results - page 12 / 190
» Machine semantics
Sort
View
JOT
2007
64views more  JOT 2007»
15 years 2 months ago
Direct Semantics of Extended State Machines
Kevin Lano, David Clark
JFP
1998
62views more  JFP 1998»
15 years 2 months ago
Classical Logic, Continuation Semantics and Abstract Machines
Thomas Streicher, Bernhard Reus
CORR
2011
Springer
147views Education» more  CORR 2011»
14 years 6 months ago
A Machine Learning Based Analytical Framework for Semantic Annotation Requirements
Hamed Hassanzadeh, Mohammad Reza Keyvanpour