Sciweavers

950 search results - page 4 / 190
» Machine semantics
Sort
View
CC
2008
Springer
111views System Software» more  CC 2008»
13 years 11 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 4 months ago
SWeMoF: A Semantic Framework to Discover Patterns in Learning Networks
Marco Kalz, Niels Beekman, Anton Karsten, Diederik...
ECTEL
2009
Springer
14 years 4 months 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 4 months ago
Academic Administration and Management Scenarios on the Semantic Web
Feng (Barry) Tao, Shakeel A. Khoja, Hugh C. Davis,...
COLING
1990
13 years 11 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