Sciweavers

950 search results - page 4 / 190
» Machine semantics
Sort
View
CC
2008
Springer
111views System Software» more  CC 2008»
13 years 8 months ago
A System for Generating Static Analyzers for Machine Instructions
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
Junghee Lim, Thomas W. Reps
ECTEL
2009
Springer
14 years 25 days ago
SWeMoF: A Semantic Framework to Discover Patterns in Learning Networks
Marco Kalz, Niels Beekman, Anton Karsten, Diederik...
ECTEL
2009
Springer
14 years 25 days ago
Knowledge Maturing in the Semantic MediaWiki: A Design Study in Career Guidance
Nicolas Weber, Karin Schoefegger, Jenny Bimrose, T...
ICALT
2008
IEEE
14 years 22 days ago
Academic Administration and Management Scenarios on the Semantic Web
Feng (Barry) Tao, Shakeel A. Khoja, Hugh C. Davis,...
COLING
1990
13 years 7 months ago
Human-Computer Interaction for Semantic Disambiguation
We describe a semi-automatic semantic disambiguator integrated in a knowledge-based machine translation system. It is used to bridge the analysis and generation stages in machine ...
Ralf D. Brown