950 search results - page 162 / 190 » Machine semantics |
102
click to vote
USS
2008
15 years 4 months ago
2008
Complexity in commodity operating systems makes compromises inevitable. Consequently, a great deal of work has examined how to protect security-critical portions of applications f...
104
Voted
ASM
2008
ASM
15 years 4 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
157
click to vote
ASM
2008
ASM
15 years 4 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
104
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
This paper describes how to automatically cross-reference documents with Wikipedia: the largest knowledge base ever known. It explains how machine learning can be used to identify...
100
Voted
ACL
2007
15 years 3 months ago
2007
We propose a novel approach to crosslingual language model (LM) adaptation based on bilingual Latent Semantic Analysis (bLSA). A bLSA model is introduced which enables latent topi...